7167 search results - page 1353 / 1434 » A Technique for Invariant Generation |
107
click to vote
RT
2004
Springer
15 years 3 months ago
2004
Springer
ks: Abstraction and Rendering of Sparsely Scanned Outdoor Environments Hui Xu, Nathan Gossett and Baoquan Chen University of Minnesota Digital Technology Center at Twin Cities † ...
SPIN
2004
Springer
15 years 3 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
VLDB
2004
ACM
2004
ACM
A Multi-Purpose Implementation of Mandatory Access Control in Relational Database Management Systems
15 years 3 months ago
Mandatory Access Control (MAC) implementations in Relational Database Management Systems (RDBMS) have focused solely on Multilevel Security (MLS). MLS has posed a number of challe...
ISPASS
2010
IEEE
2010
IEEE
A study of hardware assisted IP over InfiniBand and its impact on enterprise data center performance
15 years 3 months ago
— High-performance sockets implementations such as the Sockets Direct Protocol (SDP) have traditionally showed major performance advantages compared to the TCP/IP stack over Infi...
CGO
2003
IEEE
15 years 3 months ago
2003
IEEE
Predicated execution can eliminate hard to predict branches and help to enable instruction level parallelism. Many current predication variants exist where the result update is co...