413 search results - page 77 / 83 » On Product Logic with Truth-constants |
119
click to vote
VLDB
2007
ACM
15 years 5 months ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
101
click to vote
IEEEPACT
2006
IEEE
15 years 5 months ago
2006
IEEE
Multiprocessor operating systems (OSs) pose several unique and conflicting challenges to System Virtual Machines (System VMs). For example, most existing system VMs resort to gan...
IPPS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents a technique for memory optimization for a class of computations that arises in the field of correlated electronic structure methods such as coupled cluster and...
110
click to vote
RTSS
2006
IEEE
15 years 5 months ago
2006
IEEE
Real-time systems design involves many important choices, including that of the processor. The fastest processors achieve performance by utilizing architectural features that make...
HASKELL
2006
ACM
15 years 5 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...