5810 search results - page 315 / 1162 » An Approach to Programming Based on Concepts |
203
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Transient faults are expected a be a major design consideration in future microprocessors. Recent proposals for transient fault detection in processor cores have revolved around t...
184
click to vote
DAGSTUHL
1996
15 years 8 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...
180
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
The OSGiTM Service Platform is becoming the de facto standard for modularized Java applications. The market of OSGi based COTS components is continuously growing. OSGi specific pro...
178
click to vote
AAAI
2004
15 years 8 months ago
2004
In many real world planning scenarios, agents often do not have enough resources to achieve all of their goals. Consequently, they are forced to find plans that satisfy only a sub...
276
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...