64 search results - page 7 / 13 » The Periodic-Linear Model of Program Behavior Capture |
181
click to vote
POPL
2008
ACM
15 years 10 months ago
2008
ACM
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
126
click to vote
SIGMETRICS
2010
ACM
14 years 4 months ago
2010
ACM
The prevalence of multicore architectures has made the performance analysis of multithreaded applications an intriguing area of inquiry. An understanding of locality effects and c...
72
Voted
HOPL
2007
15 years 1 months ago
2007
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...
HOTOS
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
RTSS
1999
IEEE
15 years 1 months ago
1999
IEEE
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...