619 search results - page 38 / 124 » The Design and Implementation of a Certifying Compiler |
IJCIS
1998
13 years 8 months ago
1998
We present the systematic design and development of a distributed query scheduling service DQS in the context of DIOM, a distributed and interoperable query mediation system 26 ...
DBPL
1991
Springer
14 years 8 days ago
1991
Springer
BULK is a very-high-level persistent programming language and environment for prototyping and implementing database applications. BULK provides sets and sequences as primitive typ...
FCCM
2006
IEEE
14 years 2 months ago
2006
IEEE
Current Radio Frequency Identification (RFID) systems generally have long design times and low tolerance to changes in specification. This paper describes a field programmable,...
PEPM
1997
ACM
14 years 27 days ago
1997
ACM
We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a bi...
CASES
2001
ACM
14 years 12 days ago
2001
ACM
Although retargetability has been a major design concern for many compilers, retargetability is a vitally important issue for Digital Signal Processors(DSPs) because the architect...