5630 search results - page 86 / 1126 » Computability in Specification |
97
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
90
Voted
IWEC
2004
15 years 4 months ago
2004
This paper describes a number of general design problems with adventure-like computer games for young children in order to demonstrate the need for specific design guidelines for t...
140
Voted
CONIELECOMP
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper we present a set of formulations that describe some properties of the configurations that can represent the n-Dimensional Orthogonal PseudoPolytopes. Moreover, we de...
ICPR
2006
IEEE
16 years 3 months ago
2006
IEEE
This is the first part of a tutorial discussing the major strategies and methodologies by which a test of the Null hypothesis of no Torah effect can be done. The basic concepts of...
167
Voted
SIGSOFT
2010
ACM
15 years 15 days ago
2010
ACM
New technologies have recently emerged to challenge the very nature of computing: multicore processors, virtualized operating systems and networks, and data-center clouds. One can...