619 search results - page 53 / 124 » The Design and Implementation of a Certifying Compiler |
116
click to vote
ICCAD
1997
IEEE
15 years 4 months ago
1997
IEEE
We introduce a new technique to solve exactly a discrete optimization problem, based on the paradigm of “negative” thinking. The motivation is that when searching the space of...
101
click to vote
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
108
click to vote
FPL
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. High level modeling tools make it possible to synthesize a high performance FPGA design directly from a Simulink model. Accurate estimates of the FPGA resources required ...
104
click to vote
CCGRID
2001
IEEE
15 years 3 months ago
2001
IEEE
Clusters of workstations are a popular alternative to integrated parallel systems designed and built by a vendor. Besides their huge cumulative processing power, they also provide...
115
click to vote
POS
1994
Springer
15 years 4 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...