944 search results - page 166 / 189 » Software model checking without source code |
123
click to vote
SPAA
2006
ACM
15 years 8 months ago
2006
ACM
In response to current technology scaling trends, architects are developing a new style of processor, known as spatial computers. A spatial computer is composed of hundreds or eve...
127
click to vote
DASFAA
2009
IEEE
15 years 8 months ago
2009
IEEE
The XML technologies have brought a lot of new ideas and abilities in the field of information management systems. Nowadays, XML is used almost everywhere: from small configurati...
133
click to vote
PPDP
2010
Springer
14 years 12 months ago
2010
Springer
We propose a model for XML update primitives of the W3C XQuery Update Facility as parameterized rewriting rules of the form: "insert an unranked tree from a regular tree lang...
159
click to vote
ISCA
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper presents a fundamental law for parallel performance: it shows that parallel performance is not only limited by sequential code (as suggested by Amdahl’s law) but is a...
143
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...