6381 search results - page 161 / 1277 » Alternative Implementation of the C |
155
click to vote
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
144
click to vote
WOTUG
2008
15 years 5 months ago
2008
Abstract. Communicating Sequential Processes (CSP) was developed around a formal algebra of processes and a semantics based on traces (and failures and divergences). A trace is a r...
144
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
High confidence in floating-point programs requires proving numerical properties of final and intermediate values. One may need to guarantee that a value stays within some range, ...
133
click to vote
SEUS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. We consider the problem of programming distributed embedded real-time systems with distributed dependencies. We show that the de facto standard of using locks and conditi...
122
click to vote
DFT
2007
IEEE
15 years 10 months ago
2007
IEEE
Chemically Assembled Electronic Nanotechnology is a promising alternative to CMOS fabrication. In particular, the nanoFabric has proven to be a viable solution for implementing di...