12981 search results - page 327 / 2597 » Model Checking (Abstract) |
134
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
135
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
123
click to vote
CICLING
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper reports on the development of a finite state system for finding grammar errors without actually specifying the error. A corpus of Swedish text written by chi...
146
Voted
PVM
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The MPI standard provides a way to send and receive complex combinations of datatypes (e.g., integers and doubles) with a single communication operation. The MPI standard...
111
click to vote
JAR
2006
15 years 3 months ago
2006
Abstract. As products are growing more complex, so is their documentation. With an increasing number of product options, the diversity in service and maintenance procedures grows a...