426 search results - page 42 / 86 » SAT-Based Techniques in System Synthesis |
DAC
2009
ACM
14 years 9 months ago
2009
ACM
Speculation is a well-known technique for increasing parallelism of the microprocessor pipelines and hence their performance. While implementing speculation in modern design pract...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Inspired by computational linguistic approaches to annotate the structures that occur in human dialogue, this paper describes a technique which encodes these structures as transfo...
DAC
1996
ACM
14 years 18 days ago
1996
ACM
To reduce the number of synthesis and layout iterations, we present a new delay optimization technique, which inserts buers based on back-annotated detailed routing information. D...
UAIS
2008
13 years 8 months ago
2008
This paper presents the modules that comprise a knowledge-based sign synthesis architecture for Greek sign language (GSL). Such systems combine natural language (NL) knowledge, mac...
EMSOFT
2006
Springer
14 years 3 days ago
2006
Springer
Embedded applications like video decoding, video streaming and those in the network domain, typically have a Quality of Service (QoS) requirement which needs to be met. Apart from...