887 search results - page 30 / 178 » A pattern-based approach to model software performance |
83
Voted
ERLANG
2006
ACM
15 years 6 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
101
click to vote
ANSS
2000
IEEE
15 years 4 months ago
2000
IEEE
Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon of “software aging”, one in which the state of the software system degrades...
113
Voted
SIGSOFT
1996
ACM
15 years 4 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
113
click to vote
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
120
Voted
TC
2010
14 years 7 months ago
2010
We propose an execution model that orchestrates the fine-grained interaction of a conventional general-purpose processor (GPP) and a high-speed reconfigurable hardware accelerator ...