527 search results - page 87 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
DAC
1997
ACM
15 years 1 months ago
1997
ACM
We describe an architectural design space exploration methodology that minimizes the energy dissipation of digital circuits. The centerpiece of our methodology is a Verilog-based ...
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— The paper studies the cyclic pursuit problem in presence of connectivity constraints among single-integrator agents. The robots, each one pursuing its leading neighbor along th...
120
click to vote
ISCA
2008
IEEE
15 years 3 months ago
2008
IEEE
Performance improvement solely through transistor scaling is becoming more and more difficult, thus it is increasingly common to see domain specific accelerators used in conjunc...
VECPAR
2000
Springer
15 years 1 months ago
2000
Springer
The SCOOPP (Scalable Object Oriented Parallel Programming) system is an hybrid compile and run-time system. SCOOPP dynamically scales OO applications on a wide range of target plat...
CORR
2012
Springer
13 years 5 months ago
2012
Springer
Latent force models (LFMs) are hybrid models combining mechanistic principles with non-parametric components. In this article, we shall show how LFMs can be equivalently formulate...