315 search results - page 23 / 63 » Loop Termination Prediction |
SOFSEM
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
EPIA
2005
Springer
14 years 1 months ago
2005
Springer
This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), which conservatively extends the Stable Model semantics (SM) to all normal programs. The dist...
BMCBI
2008
13 years 7 months ago
2008
Background: Amino acid sequence probability distributions, or profiles, have been used successfully to predict secondary structure and local structure in proteins. Profile models ...
ICMENS
2005
IEEE
14 years 1 months ago
2005
IEEE
The paper presents a digital oscillating loop for a MEMS resonator in which the instantaneous resonator position is estimated on-line with a Kalman observer. The approach is appli...
MICRO
2006
IEEE
13 years 7 months ago
2006
IEEE
Wish branches, a new class of control-flow instructions, allow the hardware to dynamically decide whether or not to use predicated execution for a dynamic branch instruction. The ...