Sciweavers

14360 search results - page 217 / 2872
» Time Modeling in MARTE
Sort
View
TCS
2010
13 years 5 months ago
Weak bisimulation for Probabilistic Timed Automata
We are interested in describing timed systems that exhibit probabilistic behaviour. To this purpose, we consider a model of Probabilistic Timed Automata and introduce a concept of ...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
WSC
1998
13 years 11 months ago
Time Segmentation Parallel Simulation of Tandem Queues with Manufacturing Blocking
This paper studies the application of the time segmentation parallel simulation approach to efficient simulation of simple manufacturing queueing systems, namely systems of queues...
Mehdi Hoseyni-Nasab, Sigrún Andradót...
TIME
2006
IEEE
14 years 4 months ago
In time alone: on the computational power of querying the history
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
Alexei Lisitsa, Igor Potapov
DATE
2002
IEEE
74views Hardware» more  DATE 2002»
14 years 3 months ago
Maze Routing with Buffer Insertion under Transition Time Constraints
In this paper, we address the problem of simultaneous routing and buffer insertion. Recently in [12, 22], the authors considered simultaneous maze routing and buffer insertion und...
Li-Da Huang, Minghorng Lai, D. F. Wong, Youxin Gao
DMIN
2006
122views Data Mining» more  DMIN 2006»
13 years 11 months ago
Cost-Sensitive Analysis in Multiple Time Series Prediction
- In this paper we propose a new methodology for Cost-Benefit analysis in a multiple time series prediction problem. The proposed model is evaluated in a real world application bas...
Chamila Walgampaya, Mehmed M. Kantardzic