526 search results - page 33 / 106 » Towards the Verifying Compiler |
169
click to vote
CASES
2005
ACM
15 years 8 months ago
2005
ACM
Interconnection networks have been deployed as the communication fabric in a wide range of parallel computer systems. With recent technological trends allowing growing quantities ...
145
click to vote
IPPS
2008
IEEE
16 years 12 days ago
2008
IEEE
The ubiquity of multicore processors in commodity computing systems has raised a significant programming challenge for their effective use. An attractive but challenging approach...
154
click to vote
LOPSTR
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. We introduce a just-in-time specializer for Prolog. Just-intime specialization attempts to unify of the concepts and benefits of partial evaluation (PE) and just-in-time...
148
click to vote
ECRTS
2000
IEEE
15 years 10 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...
140
click to vote
IPPS
1998
IEEE
15 years 10 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...