6709 search results - page 340 / 1342 » Performance Modelling of the Computational Hardware: A Stati... |
195
click to vote
ICCSA
2010
Springer
15 years 4 months ago
2010
Springer
Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life incre...
160
click to vote
EICS
2009
ACM
15 years 10 months ago
2009
ACM
This paper presents an approach for investigating in a predictive way potential disruptive effects of interruptions on task performance in a multitasking environment. The approach...
186
click to vote
CAV
2004
Springer
15 years 10 months ago
2004
Springer
JNuke is a framework for verification and model checking of Java programs. It is a novel combination of run-time verification, explicit-state model checking, and counter-example ex...
190
click to vote
PERVASIVE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Activity inference based on object use has received considerable recent attention. Such inference requires statistical models that map activities to the objects used in p...
154
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Knowledge of the subcellular location of a protein is critical to understanding how that protein works in a cell. This location is frequently determined by the interpr...