12032 search results - page 714 / 2407 » Simulation of Manufacturing Systems |
288
click to vote
FAABS
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
200
click to vote
RSP
2002
IEEE
16 years 13 days ago
2002
IEEE
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
184
click to vote
RTCSA
1995
IEEE
15 years 11 months ago
1995
IEEE
In conventional database systems, performance is primarily measured by the number of transactions completed within a unit time. In real-time applications, timing and criticality c...
216
click to vote
MEMOCODE
2010
IEEE
15 years 5 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
170
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
ABSTRACT. In this paper a secure communication method is proposed, based on left invertibility of output-quantized dynamical systems. The sender uses an output-quantized linear sys...