86 search results - page 17 / 18 » Designing Syntax Embeddings and Assimilations for Language L... |
164
Voted
EMSOFT
2007
Springer
15 years 12 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
169
Voted
CF
2006
ACM
15 years 9 months ago
2006
ACM
This paper presents our experience mapping OpenMP parallel programming model to the IBM Cyclops-64 (C64) architecture. The C64 employs a many-core-on-a-chip design that integrates...
198
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
176
Voted
ASPLOS
2011
ACM
14 years 9 months ago
2011
ACM
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints be...
178
Voted
LCTRTS
2005
Springer
15 years 11 months ago
2005
Springer
Software pipelining is a critical optimization for producing efficient code for VLIW/EPIC and superscalar processors in highperformance embedded applications such as digital sign...