673 search results - page 55 / 135 » A timing model for synchronous language implementations in s... |
EUROMICRO
2006
IEEE
13 years 11 months ago
2006
IEEE
Modern real-time systems are increasingly complex and pervasive. Model Driven Engineering (MDE) is the emerging approach for the design of complex systems, strongly the usage of a...
FMOODS
2000
13 years 9 months ago
2000
We propose a formal real-time semantics for UML statecharts aimed at the requirements level. A requirements-level model assumes perfect technology and has a considerably simpler se...
FTRTFT
1998
Springer
13 years 12 months ago
1998
Springer
Predictability is crucial in critical applications and systems. Therefore, we examine sources of uncertainty for each of the four phases that span a project lifecycle, from initial...
ICCD
1993
IEEE
13 years 12 months ago
1993
IEEE
Ravel-XL is a single-boardhardware accelerator for gate-level digital logic simulation. It uses a standard levelizedcode approach to statically schedule gate evaluations.However, u...
DAC
1998
ACM
14 years 8 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...