1251 search results - page 168 / 251 » Optimizing Compilation of CLP(R) |
93
Voted
LCPC
2000
Springer
15 years 1 months ago
2000
Springer
State-of-the-art run-time systems are a poor match to diverse, dynamic distributed applications because they are designed to provide support to a wide variety of applications, with...
104
click to vote
PLDI
2011
ACM
14 years 29 days ago
2011
ACM
Translation validators are static analyzers that attempt to verify that program transformations preserve semantics. Normalizing translation validators do so by trying to match the...
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents a novel technique, called input space adaptive software synthesis, for the energy and performance optimization of embedded software. The proposed technique is ...
ECBS
2006
IEEE
15 years 4 months ago
2006
IEEE
For complex systems that are reusing intellectual property components, functional and compositional design correctness are an important part of the design process. Common system l...
IEEEINTERACT
2002
IEEE
15 years 3 months ago
2002
IEEE
Smaller input data sets such as the test and the train input sets are commonly used in simulation to estimate the impact of architecture/micro-architecture features on the perform...