2409 search results - page 429 / 482 » Logical systems for structured specifications |
POPL
2009
ACM
14 years 10 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
KDD
2003
ACM
14 years 10 months ago
2003
ACM
Web personalization is the process of customizing a Web site to the needs of each specific user or set of users, taking advantage of the knowledge acquired through the analysis of...
VLSID
2007
IEEE
14 years 10 months ago
2007
IEEE
Register file banking is an effective alternative to monolithic register files in embedded processor based systems. In this work, we propose techniques for performing application s...
SIGMOD
2007
ACM
14 years 10 months ago
2007
ACM
We propose to demonstrate EaseDB, the first cache-oblivious query processor for in-memory relational query processing. The cacheoblivious notion from the theory community refers t...
SIGMOD
2005
ACM
14 years 10 months ago
2005
ACM
New and emerging P2P applications require sophisticated range query capability and also have strict requirements on query correctness, system availability and item availability. W...