872 search results - page 42 / 175 » Using Plans to Automate Software Applications |
109
Voted
FATES
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
144
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Several biological techniques result in the acquisition of functional sets of cDNAs that must be sequenced and analyzed. The emergence of redundant databases such as U...
121
Voted
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resou...
101
click to vote
HIPEAC
2010
Springer
15 years 4 months ago
2010
Springer
We present Offload, a programming model for offloading parts of a C++ application to run on accelerator cores in a heterogeneous multicore system. Code to be offloaded is enclosed ...
ICFEM
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...