2477 search results - page 409 / 496 » Parallelizing Functional Programs by Generalization |
134
click to vote
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
113
click to vote
IEEEPACT
2006
IEEE
15 years 8 months ago
2006
IEEE
In SMT processors, the complex interplay between private and shared datapath resources needs to be considered in order to realize the full performance potential. In this paper, we...
116
Voted
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for de...
108
click to vote
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. To analyze the correctness and the performance of a program, information about the dynamic behavior of all participating processes is needed. The dynamic behavior can be ...
125
click to vote
CASES
2003
ACM
15 years 7 months ago
2003
ACM
Code size has always been an important issue for all embedded applications as well as larger systems. Code compression techniques have been devised as a way of battling bloated co...