14244 search results - page 206 / 2849 » Modeling Program Predictability |
121
Voted
ENTCS
2006
15 years 2 months ago
2006
In previous work we proposed Linear Programs as a fine grained model for imperative programs, and showed how the model checking procedure used in SLAM can be generalised to a mode...
171
Voted
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...
115
click to vote
DEXAW
2003
IEEE
15 years 7 months ago
2003
IEEE
As users, computers, data and processes become increasingly mobile and the diversity of interacting devices increases, pervasive computing tasks are difficult to predict and to u...
112
click to vote
CAISE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper presents a method to compute metrics that predict maintainability of a system with respect to its event processing. The metrics reflect the complexity of event...
121
Voted
BMCBI
2005
15 years 2 months ago
2005
Background: The majority of residues in protein structures are involved in the formation of helices and -strands. These distinctive secondary structure patterns can be used to rep...