Results 251 to 260 of about 1,590,113 (289)
Some of the next articles are maybe not open access.
A formalism of the specifications for library development
2013 IEEE International SOC Conference, 2013In System-on-Chip (SoC) design, more and more pre-defined libraries such as standard cell library are required in order to reduce time-to-market and to ensure the functionality of complex systems. However, an amount of information such as technology parameters is needed to develop libraries. From the perspective of library providers, a crucial issue is
Chae, Jung Kyu +4 more
openaire +2 more sources
Formal specification of multicomputers
1996Formal Methods of specification can play an important role in exploring the behaviour of complex systems, as distributed systems or parallel computing. Lotos, based on algebra of processes, has been chosen as an international standard for specifying many systems.
openaire +2 more sources
Formal specifications as constructive diagrams
Microprocessing and Microprogramming, 1993It is often said that a specification should capture function ("the what") rather than form ("the how"). It is our belief that, although abstraction from extraneous implementation detail is clearly helpful during the early stages of design, insufficient attention is currently being paid to the form of specifications themselves, and how different forms ...
Carol Britton +2 more
openaire +2 more sources
The formal specification of an electrocardiogram compressor
Medical Informatics and the Internet in Medicine, 1999Remote telemonitoring of physiological parameters is being used increasingly both for medical research and for clinical management. However, the technique entails the collection of large volumes of information for transmission and storage which necessitates efficient means of data compression.
B S, Todd, D C, Andrews
openaire +2 more sources
A Formal Specification of the Memorization Process
International Journal of Cognitive Informatics and Natural Intelligence, 2007In this chapter we present the formal language, stochastic process algebra (STOPA), to specify cognitive systems. In addition to the usual characteristics of these formalisms, this language features the possibility of including stochastic time. This kind of time is useful to represent systems where the delays are not controlled by fixed amounts of time,
Natalia López +2 more
openaire +1 more source
A Formal Specification of the Process Trellis
1991The process trellis is a software architecture for building parallel real-time monitors: heterogeneous, large, real-time, continuously executing programs. These programs receive massive quantities of data in domains that are often ill-defined; they filter this data, presenting the user with an analysis rather than a simple summary.
openaire +2 more sources
A formal specification of geometric refinements
The Visual Computer, 1999no ...
Cazier, David, Dufourd, Jean-François
openaire +2 more sources
Hazard Analysis in Formal Specification
1999Action systems have proven their worth in the design of safetycritical systems. The approach is based on a firm mathematical foundation within which the reasoning about the correctness and behaviour of the system under development is carried out. Hazard analysis is a vital part of the development of safety-critical systems.
Kaisa Sere, Elena Troubitsyna
openaire +1 more source
Formal Specifications of User Requirements
Automated Software Engineering, 1999There is a wide gap between informal requirements and a formal object-oriented specification. To help bridge this gap, we propose that a formal and executable user-centred model should be constructed initially. The user-centred model, which specifies the behaviour that the environment expects from the system, is expressed in terms of agent views and ...
Robert G. Clark, Ana M. D. Moreira
openaire +1 more source
Formal approach to reusable formal specifications
[1991 Proceedings] 6th Mediterranean Electrotechnical Conference, 2002The theory of reusable formal specifications is described, especially in the context of modeling a distributed real-time telecommunication system. Various aspects of reusability are covered: formal representation of reusability, modular specification of the system, equivalence of formal specifications, and classification of specifications. Some modular
openaire +1 more source