Sciweavers

4263 search results - page 593 / 853
» Learning without Coding
Sort
View
HOTDEP
2008
107views Hardware» more  HOTDEP 2008»
15 years 8 months ago
Reverse-Engineering Drivers for Safety and Portability
Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers...
Vitaly Chipounov, George Candea
WSC
2007
15 years 8 months ago
An exploration-based taxonomy for emergent behavior analysis in simulations
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. We present a taxonomy, to be applied to emergent beha...
Ross Gore, Paul F. Reynolds Jr.
WSC
2008
15 years 8 months ago
A simulation template for modeling tunnel shaft construction
This paper presents the design and development of a template for analyzing shaft construction projects. It is suitable for integration with the existing Tunneling template of the ...
Fangyi Zhou, Simaan M. AbouRizk, Siri Fernando
CARDIS
2008
Springer
105views Hardware» more  CARDIS 2008»
15 years 8 months ago
Fast Hash-Based Signatures on Constrained Devices
Digital signatures are one of the most important applications of microprocessor smart cards. The most widely used algorithms for digital signatures, RSA and ECDSA, depend on finite...
Sebastian Rohde, Thomas Eisenbarth, Erik Dahmen, J...
CC
2008
Springer
130views System Software» more  CC 2008»
15 years 8 months ago
IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries
Abstract. A key scalability challenge for interprocedural dataflow analysis comes from large libraries. Our work addresses this challenge for the general category of interprocedura...
Atanas Rountev, Mariana Sharp, Guoqing Xu