Sciweavers

12333 search results - page 2217 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
WSC
1997
15 years 6 months ago
Efficient Instruction Cache Simulation and Execution Profiling with a Threaded-Code Interpreter
We present an extension to an existing SPARC V8 instruction set simulator, SimICS, to support accurate profiling of branches and instruction cache misses. SimICS had previously su...
Peter S. Magnusson
WSC
1997
15 years 6 months ago
Using Compensating Reconfiguration to Maintain Military Distributed Simulations
In Department of Defense (DoD) distributed training simulations, events occur that can cause unrealistic behavior. These events can be system events, such as the loss of a hostor ...
Donald J. Welch, James M. Purtilo
JVCIR
2007
157views more  JVCIR 2007»
15 years 4 months ago
Position based dynamics
The most popular approaches for the simulation of dynamic systems in computer graphics are force based. Internal and external forces are accumulated from which accelerations are c...
Matthias Müller, Bruno Heidelberger, Marcus H...
TSE
2002
99views more  TSE 2002»
15 years 4 months ago
Recovering Traceability Links between Code and Documentation
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...
Giuliano Antoniol, Gerardo Canfora, Gerardo Casazz...
AMCS
2011
341views Mathematics» more  AMCS 2011»
14 years 11 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
« Prev « First page 2217 / 2467 Last » Next »