3544 search results - page 569 / 709 » Software Testing |
108
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
The standard language for describing the asymptotic behavior of algorithms is theoretical computational complexity. We propose a method for describing the asymptotic behavior of p...
88
Voted
SIGSOFT
2002
ACM
16 years 1 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
88
Voted
EUROSYS
2010
ACM
15 years 10 months ago
2010
ACM
Modern Byzantine fault-tolerant state machine replication (BFT) protocols involve about 20.000 lines of challenging C++ code encompassing synchronization, networking and cryptogra...
98
Voted
EUROSYS
2006
ACM
15 years 10 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
116
Voted
DASFAA
2009
IEEE
15 years 7 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...