308 search results - page 9 / 62 » MpPVM: A Software System for Non-Dedicated Heterogeneous Com... |
174
Voted
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
188
Voted
EMSOFT
2005
Springer
16 years 29 days ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
186
Voted
EMSOFT
2007
Springer
2007
Springer
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems
16 years 1 months ago
This paper gives a semantics for discrete-event (DE) models that generalizes that of synchronous/reactive (SR) languages, and a continuous-time (CT) semantics that generalizes the...
188
Voted
CODES
2002
IEEE
16 years 11 days ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
207
click to vote
HPDC
1993
IEEE
15 years 11 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...