5159 search results - page 586 / 1032 » Structural Testing of Executables |
194
click to vote
SIGCSE
2009
ACM
16 years 8 months ago
2009
ACM
Like a screenplay, a program is both a static artifact and instructions for a dynamic performance. This duality can keep laypeople from appreciating the complexity of software sys...
330
click to vote
POPL
2008
ACM
16 years 8 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
171
click to vote
RECOMB
2005
Springer
16 years 8 months ago
2005
Springer
We develop an iterative relaxation algorithm, called RIBRA, for NMR protein backbone assignment. RIBRA applies nearest neighbor and weighted maximum independent set algorithms to ...
214
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
An active XML (AXML) document contains tags representing calls to Web services. Therefore, retrieving its contents consists in materializing its data elements by invoking the embe...
205
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
Data Stream Management Systems (DSMSs) must support optimized execution scheduling of multiple continuous queries on massive, and frequently bursty, data streams. Previous approac...