2493 search results - page 493 / 499 » Tool Support for Design by Contract |
DSL
1997
13 years 9 months ago
1997
In this paper we describe our experience with Teapot [7], a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distrib...
WEBNET
2000
13 years 9 months ago
2000
: Web-based instruction and online learning are changing customary practices in education. As conventional patterns for content delivery are influenced by new and improving technol...
CCGRID
2010
IEEE
13 years 9 months ago
2010
IEEE
Idle desktops have been successfully used to run sequential and master-slave task parallel codes on a large scale in the context of volunteer computing. However, execution of messa...
ACMDIS
2010
ACM
13 years 8 months ago
2010
ACM
Street art and political activism have a rich history of shaping urban landscapes. Our work explores the processes by which public artists and political activists contribute to pu...
APLAS
2010
ACM
13 years 8 months ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...