2251 search results - page 105 / 451 » Specification and Implementation Problems for C |
174
Voted
JTRES
2010
ACM
15 years 3 months ago
2010
ACM
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software...
128
click to vote
DASIP
2010
14 years 10 months ago
2010
The Reconfigurable Video Coding (RVC) framework is a recent ISO standard aiming at providing a unified specification of MPEG video technology in the form of a library of component...
158
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
—We present the first experimental results on the implementation of a multi-core model checking algorithm for the SPIN model checker. These algorithms specifically target shared-...
112
Voted
ITNG
2006
IEEE
15 years 9 months ago
2006
IEEE
The accepted view of programming, rooted in Turing’s fundamental characterization of algorithms, has had a profound impact on the theory and practice of computing with yet broad...
131
Voted
FPL
2006
Springer
15 years 7 months ago
2006
Springer
An intermediate representation (IR) is a central structure around which tools such as compilers and synthesis tools are built. In this paper we propose such an IR specifically des...