894 search results - page 77 / 179 » Optimizations for LTL Synthesis |
103
Voted
ICRA
2008
IEEE
15 years 7 months ago
2008
IEEE
— Assume a swarm of mobile robots is in the act of transporting a large object in the plane, by applying unilateral forces to the perimeter of that object. We address the questio...
95
Voted
ISCAS
2008
IEEE
15 years 7 months ago
2008
IEEE
— In this paper, we have proposed a thermal aware routing based parameterization to generate a clock model that takes the stochastic temperature variation into consideration. The...
130
click to vote
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper presents an Application Specific Instruction Set Processor (ASIP) design for the implementation of a class of nonlinear image processing algorithms, the Retinex-like fi...
108
Voted
FDL
2005
IEEE
15 years 6 months ago
2005
IEEE
Although Moore’s Law enables a huge number of components to be integrated into a single chip, design methods that will allow system architects to put the components together to ...
VTS
2005
IEEE
15 years 6 months ago
2005
IEEE
An automated design procedure is described for synthesizing circuits with low power concurrent error detection. It is based on pre-synthesis selection of a parity-check code follo...