Sciweavers

6770 search results - page 889 / 1354
» How GPUs Work
Sort
View
CAV
2004
Springer
108views Hardware» more  CAV 2004»
15 years 10 months ago
Functional Dependency for Verification Reduction
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...
Jie-Hong Roland Jiang, Robert K. Brayton
ARC
2006
Springer
124views Hardware» more  ARC 2006»
15 years 10 months ago
A Flexible Multi-port Caching Scheme for Reconfigurable Platforms
Abstract. Memory accesses contribute sunstantially to aggregate system delays. It is critical for designers to ensure that the memory subsystem is designed efficiently, and much wo...
Su-Shin Ang, George A. Constantinides, Peter Y. K....
156
Voted
ARGMAS
2006
Springer
15 years 10 months ago
Arguments and Counterexamples in Case-Based Joint Deliberation
Multiagent learning can be seen as applying ML techniques to the core issues of multiagent systems, like communication, coordination, and competition. In this paper, we address the...
Santiago Ontañón, Enric Plaza
ASSETS
2006
ACM
15 years 10 months ago
Loudmouth: : modifying text-to-speech synthesis in noise
Current speech synthesis technology is difficult to understand in everyday noise situations. Although there is a significant body of work on how humans modify their speech in nois...
Rupal Patel, Michael Everett, Eldar Sadikov
ASWSD
2006
Springer
15 years 10 months ago
Generating Sound and Resource-Aware Code from Hybrid Systems Models
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
Madhukar Anand, Sebastian Fischmeister, Jesung Kim...