11030 search results - page 405 / 2206 » Generative Sound Models |
171
click to vote
WOSP
2005
ACM
16 years 9 days ago
2005
ACM
Understanding the characteristics of the users’ workload is an important aspect when designing and providing web services. The majority of current workload characterization tech...
135
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract-- The interface for the next generation of Unmanned Vehicle Systems should be an interface with multi-modal displays and input controls. Then, the role of the interface wi...
218
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
239
click to vote
GLVLSI
2009
IEEE
15 years 4 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
167
click to vote
TCAD
2010
15 years 1 months ago
2010
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...