9412 search results - page 1689 / 1883 » An aspect-oriented generative approach |
211
click to vote
ILP
2005
Springer
16 years 19 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...
202
click to vote
PREMI
2005
Springer
16 years 19 days 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...
191
click to vote
VSTTE
2005
Springer
16 years 19 days 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...
207
click to vote
ASPLOS
2004
ACM
16 years 17 days 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...
222
click to vote
IUI
2004
ACM
16 years 17 days 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...