15754 search results - page 789 / 3151 » Programs are Knowledge Bases |
176
click to vote
PLPV
2010
ACM
15 years 9 months ago
2010
ACM
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
207
click to vote
EUROGP
2008
Springer
15 years 9 months ago
2008
Springer
We present PlasmidPL, a plasmid-inspired programming language designed for Genetic Programming (GP), and based on a chemical metaphor. The basic data structures in PlasmidPL are ci...
218
click to vote
USENIX
2001
15 years 9 months ago
2001
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
198
click to vote
JAIR
2008
15 years 7 months ago
2008
In a facility with front room and back room operations, it is useful to switch workers between the rooms in order to cope with changing customer demand. Assuming stochastic custom...
202
click to vote
JUCS
2008
15 years 7 months ago
2008
The popularization of multi-core processors and of technologies such as hyper-threading demonstrates a fundamental change in the way processors have been evolving and also increase...