Search Sciweavers | Sciweavers

22588 search results - page 170 / 4518

» On simulation model complexity

145

click to vote

DSRT
2005
IEEE

216views Modeling and Simulation» more DSRT 2005»

Modeling Decentralized Real-Time Control by State Space Partition of Timed Automata

15 years 9 months ago

Download kar.kent.ac.uk

Timed automata provide useful state machine based representations for the validation and veriﬁcation of realtime control systems. This paper introduces an algorithmic methodolog...

Thanikesavan Sivanthi, Srivas Chennu, Lothar Kreft

claim paper

Read More »

112

click to vote

ASIAMS
2008
IEEE

151views Modeling and Simulation» more ASIAMS 2008»

An Accomplished Simulator for Discrete Event Systems

15 years 9 months ago

Download www.en.sju.edu.tw

Jih-Fu Tu

claim paper

Read More »

113

click to vote

DSRT
2006
IEEE

91views Modeling and Simulation» more DSRT 2006»

A Steering Environment for Online Parallel Visualization of Legacy Parallel Simulations

15 years 9 months ago

Download www.labri.fr

Aurélien Esnard, Nicolas Richart, Olivier C...

claim paper

Read More »

click to vote

PADS
2005
ACM

113views Modeling and Simulation» more PADS 2005»

µsik - A Micro-Kernel for Parallel/Distributed Simulation Systems

15 years 8 months ago

Download www.cc.gatech.edu

Kalyan S. Perumalla

claim paper

Read More »

click to vote

MSWIM
2004
ACM

100views Modeling and Simulation» more MSWIM 2004»

Design and simulation of power-aware scheduling strategies of streaming data in wireless LANs

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers