Sciweavers

1037 search results - page 153 / 208
» The Future of Java-based Simulation
Sort
View
FMCAD
2008
Springer
14 years 11 months ago
BackSpace: Formal Analysis for Post-Silicon Debug
Post-silicon debug is the problem of determining what's wrong when the fabricated chip of a new design behaves incorrectly. This problem now consumes over half of the overall ...
Flavio M. de Paula, Marcel Gort, Alan J. Hu, Steve...
FPLAY
2008
14 years 11 months ago
Crafting game-models using reactive system design
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
David Harel, Itai Segall, Hillel Kugler, Yaki Sett...
CATA
2007
14 years 11 months ago
Wireless Sensor Payload Design for Sounding Rocket
A quick turnaround Sub-Orbital Student Experiment Module sounding rocket experiment has been designed and built to initiate the Old Dominion University wireless spacecraft bus pro...
Sachin Shetty, Min Song, Robert Ash, Ersin Ancel, ...
CDES
2008
123views Hardware» more  CDES 2008»
14 years 11 months ago
R-tree: A Hardware Implementation
R-tree data structures are widely used in spatial databases to store, manage and manipulate spatial information. As the data volume of such databases is typically very large, the q...
Xiang Xiao, Tuo Shi, Pranav Vaidya, Jaehwan John L...
MEDIAFORENSICS
2010
14 years 11 months ago
Audio annotation watermarking with robustness against DA/AD conversion
In the paper we present a watermarking scheme developed to meet the specific requirements of audio annotation watermarking robust against DA/AD conversion (watermark detection aft...
Kun Qian, Christian Krätzer, Michael Biermann...