8828 search results - page 1599 / 1766 » Formal methods in practice |
198
click to vote
VLDB
2005
ACM
16 years 15 days ago
2005
ACM
Emerging data stream management systems approach the challenge of massive data distributions which arrive at high speeds while there is only small storage by summarizing and minin...
185
Voted
VSTTE
2005
Springer
16 years 15 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
170
Voted
HICSS
2003
IEEE
16 years 10 days ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
192
Voted
PPOPP
2003
ACM
16 years 8 days ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
209
Voted
BIRTHDAY
2003
Springer
16 years 8 days ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...