Sciweavers

1653 search results - page 200 / 331
» Directed tree-width examples
Sort
View
GLVLSI
2009
IEEE
142views VLSI» more  GLVLSI 2009»
15 years 9 months ago
Design tools for emerging technologies
The rapidly expanding diversity of technology available at the nanoscale is disrupting the existing transistorcentric microelectronics design paradigm, resulting in nearly decade-l...
Jacob White
178
Voted
ACSC
2004
IEEE
15 years 8 months ago
Exploiting FPGA Concurrency to Enhance JVM Performance
The Java Programming Language has been praised for its platform independence and portability, but because of its slow execution speed on a software Java Virtual Machine (JVM), som...
James Parnis, Gareth Lee
SIGGRAPH
2010
ACM
15 years 8 months ago
Data-driven biped control
We present a dynamic controller to physically simulate underactuated three-dimensional full-body biped locomotion. Our datadriven controller takes motion capture reference data to...
Yoonsang Lee, Sungeun Kim, Jehee Lee
139
Voted
ASAP
2004
IEEE
126views Hardware» more  ASAP 2004»
15 years 8 months ago
Hyper-Programmable Architectures for Adaptable Networked Systems
We explain how modern programmable logic devices have capabilities that are well suited for them to assume a central role in the implementation of networked systems, now and in th...
Gordon J. Brebner, Philip James-Roxby, Eric Keller...
ATAL
2004
Springer
15 years 8 months ago
State-Space Reduction Techniques in Agent Verification
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
Rafael H. Bordini, Michael Fisher, Willem Visser, ...