2555 search results - page 13 / 511 » Quantifiers and Working Memory |
IFIP
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. In Measurement Based Admission Control (MBAC), the decision of accepting or rejecting a new flow is based on measurements of the current traffic situation. An in-depth u...
CHI
2008
ACM
14 years 7 months ago
2008
ACM
Trauma centers are stressful, noisy and dynamic environments, with many people performing complex tasks, and with little in the way of information support. Information must be pri...
ASPDAC
1998
ACM
13 years 11 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
GPC
2008
Springer
13 years 8 months ago
2008
Springer
This paper is about a new framework for high performance thread scheduling based on the work stealing principle when processors may run at different speed. We also take into accou...
APLAS
2010
ACM
13 years 7 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...