Sciweavers

5128 search results - page 251 / 1026
» Discrete Component Analysis
Sort
View
FMSB
2008
130views Formal Methods» more  FMSB 2008»
15 years 7 months ago
Approximating Continuous Systems by Timed Automata
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
Oded Maler, Grégory Batt
FPL
2008
Springer
119views Hardware» more  FPL 2008»
15 years 7 months ago
Polymorphic wavelet architectures using reconfigurable hardware
Traditional microprocessor-based solutions are insufficient to serve the dynamic throughput demands of real-time scalable multimedia processing systems. This paper introduces a Po...
Amit Pande, Joseph Zambreno
WSC
2000
15 years 7 months ago
Simulation based design for a shipyard manufacturing process
Discrete event simulation can be used for virtual prototyping of new manufacturing facilities. Models built for this purpose must be easy to use, flexible, and provide a realistic...
Deborah J. Medeiros, Mark T. Traband, April Tribbl...
DEDS
2010
88views more  DEDS 2010»
15 years 6 months ago
On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution...
Jorge Júlvez, Jordi Cortadella, Michael Kis...
CSDA
2008
86views more  CSDA 2008»
15 years 6 months ago
Transformations for semi-continuous data
Semi-continuous data arise in many applications where naturally-continuous data become contaminated by the data generating mechanism. The resulting data contain several values tha...
Galit Shmueli, Wolfgang Jank, Valerie Hyde