2634 search results - page 78 / 527 » Faster Than Uppaal |
ASPDAC
2007
ACM
14 years 26 days ago
2007
ACM
This paper presents a very efficient algorithm for performance-driven topology design for interconnects. Given a net, it first generates A-tree1 topology using table lookup and net...
CEC
2007
IEEE
14 years 26 days ago
2007
IEEE
XCS with Computed Action, briefly XCSCA, is a recent extension of XCS to tackle problems involving a large number of discrete actions. In XCSCA the classifier action is computed wi...
PET
2010
Springer
14 years 24 days ago
2010
Springer
We explore how Private Information Retrieval (PIR) can help users keep their sensitive information from being leaked in an SQL query. We show how to retrieve data from a relational...
ITP
2010
14 years 23 days ago
2010
Abstract. The Satisfiability Modulo Theories (SMT) solver Z3 can generate proofs of unsatisfiability. We present independent reconstruction of these proofs in the theorem provers...
ESA
2006
Springer
14 years 16 days ago
2006
Springer
Abstract. We give a novel general approach for solving NP-hard optimization problems that combines dynamic programming and fast matrix multiplication. The technique is based on red...