4491 search results - page 696 / 899 » Algorithm Engineering |
163
click to vote
PLDI
2005
ACM
16 years 2 days ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
189
click to vote
SIGSOFT
2005
ACM
16 years 2 days ago
2005
ACM
Programs usually follow many implicit programming rules, most of which are too tedious to be documented by programmers. When these rules are violated by programmers who are unawar...
199
click to vote
WOSP
2005
ACM
16 years 2 days ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...
174
click to vote
CIKM
2005
Springer
16 years 2 days ago
2005
Springer
Depending on a web searcher’s familiarity with a query’s target topic, it may be more appropriate to show her introductory or advanced documents. The TREC HARD [1] track defi...
187
click to vote
ACMICEC
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...