5159 search results - page 426 / 1032 » Structural Testing of Executables |
203
Voted
WSE
2002
IEEE
16 years 14 days ago
2002
IEEE
The World Wide Web, initially intended as a way to publish static hypertexts on the Internet, is moving toward complex applications. Static Web sites are being gradually replaced ...
185
click to vote
LCPC
2009
Springer
16 years 4 days ago
2009
Springer
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
181
Voted
PACT
2001
Springer
16 years 9 hour ago
2001
Springer
Abstract. This paper describes a mechanism for “fusing” concurrent invocations of exclusive methods. The target of our work is object-oriented languages with concurrent extensi...
170
Voted
ACSAC
2000
IEEE
16 years 26 min ago
2000
IEEE
The DARPA Information Assurance Program has the aim of developing and executing experiments that test specific hypotheses about defense in depth and dynamic defense capabilities. ...
225
click to vote
CHARME
1999
Springer
15 years 12 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...