2263 search results - page 428 / 453 » Principles of Template Design |
HPCA
2008
IEEE
14 years 10 months ago
2008
IEEE
A path confidence estimate indicates the likelihood that the processor is currently fetching correct path instructions. Accurate path confidence prediction is critical for applica...
OSDI
2008
ACM
14 years 10 months ago
2008
ACM
Multiprocessor application performance can be limited by the operating system when the application uses the operating system frequently and the operating system services use data ...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
Pattern matching over event streams is increasingly being employed in many areas including financial services, RFIDbased inventory management, click stream analysis, and electroni...
ICFP
2005
ACM
14 years 9 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
LCTRTS
2010
Springer
14 years 4 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...