1523 search results - page 165 / 305 » Partially ordered secretaries |
159
click to vote
LOPSTR
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
164
click to vote
PADL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
137
click to vote
SAMOS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
152
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— In this paper, we present an approach to obstacle avoidance for a group of unmanned vehicles moving in formation. The goal of the group is to move through a partially u...
131
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
High frequency digital LSIs usually consist of many subcircuits coupled with multi-conductor interconnects embedded in the substrate. They sometimes cause serious problems of the ...