241 search results - page 18 / 49 » Executing Verified Compiler Specification |
137
Voted
EXPERT
2006
15 years 2 months ago
2006
abstraction rules that hide the complexity of systems of components. We've begun this process in the domain of sensor/actuator network applications, observing that in manyappl...
152
Voted
ICOODB
2009
15 years 14 days ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
131
Voted
SEW
2003
IEEE
15 years 8 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
111
Voted
LCPC
1998
Springer
15 years 7 months ago
1998
Springer
Although SIMD (Single Instruction stream Multiple Data stream) parallel computers have existed for decades, it is only in the past few years that a new version of SIMD has evolved...
135
Voted
SAMOS
2010
Springer
15 years 18 days ago
2010
Springer
Abstract--Embedded systems contain a wide variety of processors. Economical and technological factors favor systems made of a combination of diverse but programmable processors. So...