Sciweavers

175 search results - page 4 / 35
» Programming physics softwares in Flash
Sort
View
KBSE
2003
IEEE
14 years 23 days ago
Specification and Synthesis of Hybrid Automata for Physics-Based Animation
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...
Thomas Ellman
TSE
2011
214views more  TSE 2011»
13 years 2 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
KBSE
2003
IEEE
14 years 23 days ago
Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models
Mathematical modeling and simulation of complex physical systems are emerging as key technologies in engineering. Modern approaches to physical system simulation allow users to sp...
Peter Bunus, Peter Fritzson
DEBU
2010
152views more  DEBU 2010»
13 years 4 months ago
Implementing an Append-Only Interface for Semiconductor Storage
Solid-state disks are currently based on NAND flash and expose a standard disk interface. To accommodate limitations of the medium, solid-state disk implementations avoid rewritin...
Colin W. Reid, Philip A. Bernstein
AAI
2007
74views more  AAI 2007»
13 years 7 months ago
Managing Responsive Environments with Software Agents
Responsive environments are physical surroundings whose components change their behaviour to accommodate the presence of people as well as other components. We describe a means to...
Flávio S. Corrêa da Silva, Wamberto W...