2859 search results - page 140 / 572 » A Programming Environment for Bousi-Prolog |
152
click to vote
PVM
1997
Springer
15 years 9 months ago
1997
Springer
We present Ensemble, a message-passing implementation methodology, applied to PVM. Ensemble overcomes problems and complexities in developing applications in messagepassing enviro...
128
click to vote
OSDI
2008
ACM
16 years 5 months ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
154
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
An agent population can be evolved in a complex environment to perform various tasks and optimize its job performance using Learning Classifier System (LCS) technology. Due to the...
161
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
The computer industry has a problem. As Moore's law marches on, we will be exploiting it to double cores, not frequencies. But all those cores ... 2 to 4 today growing to 8, ...
138
click to vote
UIST
2005
ACM
15 years 10 months ago
2005
ACM
System administrators work with many different tools to manage and fix complex hardware and software infrastructure in a rapidly paced work environment. Through extensive field st...