9412 search results - page 1689 / 1883 » An aspect-oriented generative approach |
180
click to vote
ILP
2005
Springer
16 years 1 days ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
166
click to vote
PREMI
2005
Springer
16 years 10 hour ago
2005
Springer
Images constitute data that lives in a very high dimensional space, typically of the order of hundred thousand dimensions. Drawing inferences from data of such high dimensions soon...
167
click to vote
VSTTE
2005
Springer
16 years 2 hour ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
181
click to vote
ASPLOS
2004
ACM
15 years 12 months ago
2004
ACM
Power density in high-performance processors continues to increase with technology generations as scaling of current, clock speed, and device density outpaces the downscaling of s...
196
click to vote
IUI
2004
ACM
15 years 12 months ago
2004
ACM
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...