15155 search results - page 2557 / 3031 » System Software |
316
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
217
click to vote
ACMSE
2006
ACM
16 years 26 days ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
194
click to vote
ASPDAC
2004
ACM
16 years 10 days ago
2004
ACM
— The growing use of digital signal processors (DSPs) in embedded systems necessitates the use of optimizing compilers supporting their special architecture features. Beside the ...
176
click to vote
SMA
2003
ACM
16 years 4 days ago
2003
ACM
Parametric feature-based CAD data exchange is one of the most important open problems in solid modeling. The problem is significant and challenging both scientifically and comme...
156
click to vote
PTS
2010
15 years 5 months ago
2010
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...