4270 search results - page 183 / 854 » A Permutation Approach to Validation |
136
click to vote
ASPLOS
2010
ACM
15 years 12 months ago
2010
ACM
Multicore technology is making concurrent programs increasingly pervasive. Unfortunately, it is difficult to deliver reliable concurrent programs, because of the huge and non-det...
164
click to vote
PLDI
2009
ACM
15 years 12 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
151
Voted
IDEAS
2009
IEEE
15 years 11 months ago
2009
IEEE
A natural consequence of the widespread adoption of XML as standard for information representation and exchange is the redundant storage of large amounts of persistent XML documen...
176
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
AUTOSAR as specified in its current version fosters timing-constraints at application level to support the development of real-time automotive applications. However, the standard...
115
click to vote
COMPLEX
2009
Springer
15 years 11 months ago
2009
Springer
Financial fluctuations play a key role for financial markets studies. A new approach focusing on properties of return intervals can help to get better understanding of the fluct...