Sciweavers

27274 search results - page 4883 / 5455
» A framework for framework documentation
Sort
View
TCAD
2010
102views more  TCAD 2010»
15 years 1 months ago
Functional Test Generation Using Efficient Property Clustering and Learning Techniques
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
Mingsong Chen, Prabhat Mishra
TCAD
2010
121views more  TCAD 2010»
15 years 1 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
TCIAIG
2010
15 years 1 months ago
Cinematic Visual Discourse: Representation, Generation, and Evaluation
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...
Arnav Jhala, R. Michael Young
TCIAIG
2010
15 years 1 months ago
The 2009 Simulated Car Racing Championship
In this paper, we overview the 2009 Simulated Car Racing Championship--an event comprising three competitions held in association with the 2009 IEEE Congress on Evolutionary Comput...
Daniele Loiacono, Pier Luca Lanzi, Julian Togelius...
TCOM
2010
77views more  TCOM 2010»
15 years 1 months ago
Semi-Analytical Performance Prediction Methods for Iterative MMSE-IC Multiuser MIMO Joint Decoding
In this paper, two semi-analytical performance prediction methods are proposed and compared for multiuser MIMO transmission over block-fading multipath channels and iterative MMSE...
Raphaël Visoz, Antoine O. Berthet, Massinissa...
« Prev « First page 4883 / 5455 Last » Next »