Sciweavers

918 search results - page 152 / 184
» Speculative Issue Logic
Sort
View
DEDS
1998
152views more  DEDS 1998»
15 years 1 months ago
Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
Xenofon D. Koutsoukos, Kevin X. He, Michael D. Lem...
JANCL
2002
121views more  JANCL 2002»
15 years 1 months ago
Approximate coherence-based reasoning
ABSTRACT. It has long been recognized that the concept of inconsistency is a central part of commonsense reasoning. In this issue, a number of authors have explored the idea of rea...
Frédéric Koriche
SAC
2002
ACM
15 years 1 months ago
HTTP redirection for replica catalogue lookups in data grids
1 Data distribution and replication in distributed systems require special purpose middleware tools for accessing replicated data. Data Grids, special forms of a systems distribute...
Heinz Stockinger, Andrew Hanushevsky
TCAD
1998
115views more  TCAD 1998»
15 years 1 months ago
Probabilistic modeling of dependencies during switching activity analysis
—This paper addresses, from a probabilistic point of view, the issue of switching activity estimation in combinational circuits under the zero-delay model. As the main theoretica...
Radu Marculescu, Diana Marculescu, Massoud Pedram
128
Voted
SOFTWARE
2002
15 years 1 months ago
Overview of Fuzzy-RED in Diff-Serv Networks
The rapid growth of the Internet and increased demand to use the Internet for time-sensitive voice and video applications necessitate the design and utilization of new Internet arc...
Loukas Rossides, Chrysostomos Chrysostomou, Andrea...