1939 search results - page 216 / 388 » Dynamic Lex Constraints |
126
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— The roller racer, an undulatory locomotion system, is a toy which can be propelled forward by sitting on it and only oscillating the steering handle. A nonholonomic dyn...
117
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper an analysis of a dynamically reconfigurable processor is presented. The network processor incorporates a processor and a number of coprocessors that can be connected...
162
click to vote
SBCCI
2006
ACM
15 years 10 months ago
2006
ACM
The growing complexity and production cost of processor-based systems have imposed big constraints in SoC design of new systems. GPPs and ASICs are unable to fit the tight perform...
124
Voted
ISCC
2005
IEEE
15 years 10 months ago
2005
IEEE
This study deals with the Delay-Constrained Minimum Cost Loop Problem (DC-MCLP) of finding several loops from a source node. The DC-MCLP consists of finding a set of minimum cost ...
129
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...