6978 search results - page 1245 / 1396 » On Proofs in System P |
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
SBCCI
2006
ACM
14 years 3 months ago
2006
ACM
This paper presents the design of asynchronous circuits on synchronous FPGAs and CPLDs. Different design styles have been investigated through the implementation of dual-rail full...
SIGCSE
2006
ACM
14 years 3 months ago
2006
ACM
Plagiarism of material from the Internet is a widespread and growing problem. Computer science students, and those in other science and engineering courses, can sometimes get away...
SIGCSE
2006
ACM
14 years 3 months ago
2006
ACM
In this paper, we present an extensible visualization tool that is being used in a web-based closed laboratory system. The goal of this project is to provide a tool for both stude...
SIGECOM
2006
ACM
14 years 3 months ago
2006
ACM
We present and evaluate the design of Deep Maize, our entry in the 2005 Trading Agent Competition Supply Chain Management scenario. The central idea is to decompose the problem by...