Sciweavers

4120 search results - page 315 / 824
» Exploring ocean data
Sort
View
DAC
2008
ACM
16 years 7 months ago
Partial order reduction for scalable testing of systemC TLM designs
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
Sudipta Kundu, Malay K. Ganai, Rajesh Gupta
SSDBM
2007
IEEE
118views Database» more  SSDBM 2007»
16 years 27 days ago
Database Support for Weighted Match Joins
As relational database management systems are applied to non-traditional domains such as scientific data management, there is an increasing need to support queries with semantics ...
Ameet Kini, Jeffrey F. Naughton
CODES
2006
IEEE
16 years 21 days ago
A formal approach to robustness maximization of complex heterogeneous embedded systems
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
Arne Hamann, Razvan Racu, Rolf Ernst
ITS
2004
Springer
139views Multimedia» more  ITS 2004»
16 years 3 hour ago
CycleTalk: Toward a Dialogue Agent That Guides Design with an Articulate Simulator
Abstract. We discuss the motivation for a novel style of tutorial dialogue system that emphasizes reflection in a design context. Our current research focuses on the hypothesis tha...
Carolyn Penstein Rosé, Cristen Torrey, Vinc...
CGO
2003
IEEE
15 years 12 months ago
Adaptive Online Context-Sensitive Inlining
As current trends in software development move toward more complex object-oriented programming, inlining has become a vital optimization that provides substantial performance impr...
Kim M. Hazelwood, David Grove