858 search results - page 89 / 172 » One Is Enough! |
CONCUR
2000
Springer
14 years 1 months ago
2000
Springer
Model checking based on the causal partial order semantics of Petri nets is an approach widely applied to cope with the state space explosion problem. One of the ways to exploit su...
INFOCOM
1999
IEEE
14 years 1 months ago
1999
IEEE
Abstract--We explore the use of end-to-end multicast traffic as measurement probes to infer network-internal characteristics. We have developed in an earlier paper [2] a Maximum Li...
ICVS
1999
Springer
14 years 1 months ago
1999
Springer
This paper presents interim results from an ongoing project on aerial image reconstruction. One important task in image interpretation is the process of understanding and identifyi...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
Mixed-Mode simulation has been generating considerable interest in the simulation community and has continued to grow as an active research area. Traditional mixed-mode simulation...
ISCA
1998
IEEE
14 years 1 months ago
1998
IEEE
Computer systems have become powerful enough to process continuous data streams such as video or animated graphics. While processing power and communication bandwidth of today...