5159 search results - page 64 / 1032 » Structural Testing of Executables |
145
click to vote
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
Many current systems allow data produced by potentially malicious sources to be mounted as a file system. File system code must check this data for dangerous values or invariant ...
101
Voted
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...
111
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—The compilation of imperative synchronous languages like Esterel has been widely studied, the separate compilation of synchronous modules has not, and remains a challenge. We pr...
125
click to vote
ARC
2008
Springer
15 years 4 months ago
2008
Springer
We present an improved method for scheduling speculative data paths which relies on cancel tokens to undo computations in misspeculated paths. Performancewise, this method is consi...
146
click to vote
SIGMOD
1995
ACM
15 years 5 months ago
1995
ACM
Text is a pervasive information type, and many applications require querying over text sources in addition to structured data. This paper studies the problem of query processing i...