2851 search results - page 249 / 571 » Operationalizing Conceptual Models Based on a Model of Depen... |
154
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a new LogP-based model, called LoOgGP, which allows an accurate characterization of MPI applications based on microbenchmark measurements. This new model is an...
182
click to vote
BMAS
2000
IEEE
15 years 11 months ago
2000
IEEE
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...
204
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Detecting errors in an early phase of software development can help to reduce the cost of software systems. Many research attempts presented a fixed set of rules to help finding e...
191
click to vote
PERVASIVE
2011
Springer
14 years 9 months ago
2011
Springer
As location-sensing smart phones and location-based services gain mainstream popularity, there is increased interest in developing techniques that can detect anomalous activities. ...
161
click to vote
SEFM
2007
IEEE
16 years 27 days ago
2007
IEEE
Directed model checking algorithms focus computation resources in the error-prone areas of concurrent systems. The algorithms depend on some empirical analysis to report their per...