346 search results - page 16 / 70 » Approximating Behaviors in Embedded System Design |
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Current practice in the design of application software for high-performance embedded computing systems is characterized by long development times, lack of interoperability with ot...
110
click to vote
ECRTS
2000
IEEE
15 years 6 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
119
click to vote
APLAS
2005
ACM
15 years 7 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
350
click to vote
JTRES
2010
ACM
15 years 1 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
123
click to vote
STOC
2003
ACM
16 years 2 months ago
2003
ACM
In this paper, we show that any n point metric space can be embedded into a distribution over dominating tree metrics such that the expected stretch of any edge is O(log n). This ...