2251 search results - page 105 / 451 » Specification and Implementation Problems for C |
217
click to vote
JTRES
2010
ACM
15 years 6 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...
163
click to vote
DASIP
2010
15 years 1 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...
197
click to vote
IPPS
2007
IEEE
16 years 16 days 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-...
148
click to vote
ITNG
2006
IEEE
16 years 8 days 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...
168
click to vote
FPL
2006
Springer
15 years 10 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...