15614 search results - page 153 / 3123 » The State of State |
126
click to vote
NOSSDAV
2004
Springer
15 years 9 months ago
2004
Springer
Despite many years of research, fair queuing still faces a number of implementation challenges in high speed routers. In particular, in spite of proposals such as DiffServ, the st...
135
Voted
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of decidin...
141
click to vote
EICS
2009
ACM
15 years 8 months ago
2009
ACM
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...
109
click to vote
ISMVL
1994
IEEE
15 years 8 months ago
1994
IEEE
Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over "weakened" state values. This technique has long been practice...
124
click to vote
ADBIS
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we present a new fixpoint-based approach to bottom-up state generation for stratifiable disjunctive deductive databases. To this end, a new consequence operator based...