2774 search results - page 256 / 555 » Query-Driven Program Testing |
106
Voted
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Happen-before causal partial orders have been widely used in concurrent program verification and testing. This paper presents a parametric approach to happen-before causa...
91
Voted
JOT
2006
15 years 2 months ago
2006
An important aim in the design of the Timor programming language is to provide programmers with features which enable them to build complex systems from components which can be de...
122
Voted
AI
1999
Springer
15 years 2 months ago
1999
Springer
There are many different approaches to solving planning problems, one of which is the use of domain specific control knowledge to help guide a domain independent search algorithm. ...
135
Voted
EVOW
2011
Springer
14 years 6 months ago
2011
Springer
This paper extends a previous model where we examined the markets’ microstructure dynamics by using Genetic Programming as a trading rule inference engine, and Self Organizing Ma...
126
Voted
SIGMOD
2011
ACM
14 years 5 months ago
2011
ACM
The widespread adoption of the Resource Description Framework (RDF) for the representation of both open web and enterprise data is the driving force behind the increasing research...