7557 search results - page 618 / 1512 » Modeling Timed Concurrent Systems |
187
click to vote
HVC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper studies the efficiency of several probabilistic model checkers by comparing verification times and peak memory usage for a set of standard case studies. The s...
161
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
– With the rapid increase of design complexity and the decrease of device features in nano-scale technologies, interconnection optimization in digital systems becomes more and mo...
219
click to vote
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...
188
click to vote
INFOCOM
2006
IEEE
16 years 1 months ago
2006
IEEE
— Internet traffic is bursty and network servers are often overloaded with surprising events or abnormal client request patterns. This paper studies scheduling algorithms for in...
183
click to vote
CSMR
2005
IEEE
16 years 23 days ago
2005
IEEE
Impact analysis is the process of determining the effect, or impact, of a change to a software system. Dynamic impact analysis uses data obtained from executing a program to perfo...