Sciweavers

5358 search results - page 78 / 1072
» Script-based Presentation of Simulation Results
Sort
View
TROB
2008
99views more  TROB 2008»
15 years 6 months ago
Snake Robot Obstacle-Aided Locomotion: Modeling, Simulations, and Experiments
Snakes utilize irregularities in the terrain, such as rocks and vegetation, for faster and more efficient locomotion. This motivates the development of snake robots that actively u...
Aksel Andreas Transeth, Remco I. Leine, Christoph ...
FIMH
2007
Springer
16 years 11 days ago
Towards the Numerical Simulation of Electrocardiograms
We present preliminary results of the numerical simulation of electrocardiograms (ECG). We consider the bidomain equations to model the electrical activity of the heart and a Lapla...
Muriel Boulakia, Miguel A. Fernández, Jean-...
DATE
2006
IEEE
119views Hardware» more  DATE 2006»
16 years 8 days ago
Performance evaluation for system-on-chip architectures using trace-based transaction level simulation
The ever increasing complexity and heterogeneity of modern System-on-Chip (SoC) architectures make an early and systematic exploration of alternative solutions mandatory. Efficien...
Thomas Wild, Andreas Herkersdorf, Rainer Ohlendorf
HICSS
2006
IEEE
102views Biometrics» more  HICSS 2006»
16 years 8 days ago
A Model for Simulation Analyses of Cooperative Sourcing in the Banking Industry
This paper presents a model for investigating causes and effects of Cooperative Sourcing in the banking industry. Cooperative Sourcing means merging of similar processes by severa...
Daniel Beimborn
CAV
2005
Springer
99views Hardware» more  CAV 2005»
15 years 11 months ago
Automated Assume-Guarantee Reasoning for Simulation Conformance
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...