Sciweavers

14244 search results - page 216 / 2849
» Modeling Program Predictability
Sort
View
PODS
1990
ACM
148views Database» more  PODS 1990»
15 years 6 months ago
Stable Models and Non-Determinism in Logic Programs with Negation
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...
Domenico Saccà, Carlo Zaniolo
108
Voted
SBACPAD
2006
IEEE
102views Hardware» more  SBACPAD 2006»
15 years 8 months ago
Ultra-Fast CPU Performance Prediction: Extending the Monte Carlo Approach
Performance evaluation of contemporary processors is becoming increasingly difficult due to the lack of proper frameworks. Traditionally, cycle-accurate simulators have been exte...
Ram Srinivasan, Jeanine Cook, Olaf M. Lubeck
ICCAD
2004
IEEE
88views Hardware» more  ICCAD 2004»
15 years 11 months ago
Interconnect lifetime prediction under dynamic stress for reliability-aware design
Thermal effects are becoming a limiting factor in highperformance circuit design due to the strong temperaturedependence of leakage power, circuit performance, IC package cost and...
Zhijian Lu, Wei Huang, John Lach, Mircea R. Stan, ...
116
Voted
CISIS
2009
IEEE
15 years 9 months ago
Pervasive Informatics and Persistent Actimetric Information in Health Smart Homes: From Language Model to Location Model
—This paper presents an approach of location model deriving from language models existing in speech recognition research. The purpose is to applicate existing model in speech rec...
Yannick Fouquet, Jacques Demongeot, Nicolas Vuille...
108
Voted
IPPS
2008
IEEE
15 years 9 months ago
Intermediate checkpointing with conflicting access prediction in transactional memory systems
Transactional memory systems promise to reduce the burden of exposing thread-level parallelism in programs by relieving programmers from analyzing complex inter-thread dependences...
M. M. Waliullah, Per Stenström