743 search results - page 97 / 149 » Optimal Abstraction on Real-Valued Programs |
APCSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract. Instruction hints have become an important way to communicate compile-time information to the hardware. They can be generated by the compiler and the post-link optimizer ...
IPPS
2006
IEEE
15 years 3 months ago
2006
IEEE
role assignment is a programming abstraction that supports the assignment of user-defined roles to sensor nodes such that certain conditions are met. Many common network configu...
IPPS
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— We developed an automated environment to measure the memory access behavior of applications on high performance clusters. Code optimization for processor caches is cruc...
VMCAI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
ASP
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...