1260 search results - page 97 / 252 » OpenJ: An Extensible System Level Design Language |
ENTCS
2007
14 years 9 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
101
click to vote
ECBS
2003
IEEE
15 years 3 months ago
2003
IEEE
Heterogeneous embedded systems, where configurable or application specific hardware devices (FPGAs and ASICs) are used alongside traditional processors, are becoming more and more...
UAI
2001
14 years 11 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...
AEI
2010
14 years 10 months ago
2010
Abstract-- Computational modellers are becoming increasingly interested in building large, eclectic, biological models. These may integrate nervous system components at various lev...
59
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...