2632 search results - page 211 / 527 » Alternating Timed Automata |
173
click to vote
CIE
2007
Springer
15 years 8 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...
117
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Instantaneous Fair Sharing (IFS) is a traditional network ideal prescribing to share the network capacity among competing applications fairly during any infinitesimal time int...
132
click to vote
UAI
1990
15 years 5 months ago
1990
The intelligent reformulation or restructuring of a belief network can greatly increase the efficiency of inference. However, time expended for reformulation is not available for ...
106
click to vote
WSC
2008
15 years 6 months ago
2008
SEARUMS is an Eco-modeling, bio-simulation, and analysis environment to study the global epidemiology of Avian Influenza. Originally developed in Java, SEARUMS enables comprehensi...
156
click to vote
ISPD
1999
ACM
15 years 8 months ago
1999
ACM
In this paper, we consider delay optimization in multilayer detailed routing. Given a detailed routing by some detailed router, we iteratively improve the delays of critical nets ...