3145 search results - page 535 / 629 » Algebraic Linear Orderings |
149
click to vote
CAV
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We extend the automata-theoretic framework for reasoning about infinitestate sequential systems to handle also the global model-checking problem. Our framework is based o...
183
click to vote
DASFAA
2004
IEEE
15 years 7 months ago
2004
IEEE
Relational index structures, as for instance the Relational Interval Tree or the Linear Quadtree, support efficient processing of queries on top of existing object-relational datab...
127
click to vote
CC
2006
Springer
15 years 7 months ago
2006
Springer
Commonly-used memory units enable a processor to load and store multiple registers in one instruction. We showed in 2003 how to extend gcc with a stack-location-allocation (SLA) ph...
126
click to vote
CIA
2006
Springer
15 years 7 months ago
2006
Springer
The theoretical guarantees provided by voting have distinguished it as a prominent method of preference aggregation among autonomous agents. However, unlike humans, agents usually ...
124
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we propose two FPGA-area allocation algorithms based on profiling results for reducing the impact on performance of dynamic reconfiguration overheads. The problem o...