426 search results - page 46 / 86 » SAT-Based Techniques in System Synthesis |
EH
2000
IEEE
14 years 26 days ago
2000
IEEE
Reconfigurable chips are integrated circuits whose internal connections can be programmed by the user to attend a specific application. Field Programmable Gate Arrays (FPGAs) and ...
ISCA
1997
IEEE
14 years 20 days ago
1997
IEEE
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
DAC
1995
ACM
14 years 13 hour ago
1995
ACM
— Software components for embedded reactive real-time applications must satisfy tight code size and runtime constraints. Cooperating finite state machines provide a convenient i...
GRAPHICSINTERFACE
2000
13 years 9 months ago
2000
With the advent of image based modeling techniques, it becomes easier to apply textures extracted from reality onto virtual worlds. Many repetitive patterns (structural textures) ...
ISCI
2010
13 years 7 months ago
2010
This paper presents a simple but effective tuning strategy for robust static output feedback (SOF) controllers with minimal quadratic cost in the context of multiple parametric un...