2477 search results - page 399 / 496 » Parallelizing Functional Programs by Generalization |
124
click to vote
DAGSTUHL
1996
15 years 3 months ago
1996
Recently, considerable advances have been made in the (on-line) control of logic program specialisation. A clear conceptual distinction has been established between local and glob...
109
click to vote
IGPL
2008
15 years 1 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
102
click to vote
MM
2006
ACM
15 years 8 months ago
2006
ACM
Through a defined research process we designed objects that behave and respond in specific ways and are part of a networked system that emphasizes autonomous and flocking behavior...
130
click to vote
EUROMICRO
1997
IEEE
15 years 6 months ago
1997
IEEE
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
106
click to vote
ISLPED
2007
ACM
15 years 3 months ago
2007
ACM
Increases in peak current draw and reductions in the operating voltages of processors continue to amplify the importance of dealing with voltage fluctuations in processors. One a...