4520 search results - page 151 / 904 » Algebraic Techniques for Timed Systems |
172
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
188
Voted
GIAE
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
199
Voted
SRDS
1998
IEEE
15 years 11 months ago
1998
IEEE
The primary-backup replication model is one of the commonly adopted approaches to providing fault tolerant data services. Its extension to the real-time environment, however, impo...
302
Voted
SIGMOD
2008
ACM
16 years 7 months ago
2008
ACM
Many scientific, financial, data mining and sensor network applications need to work with continuous, rather than discrete data e.g., temperature as a function of location, or sto...
227
Voted
ICDCS
1995
IEEE
15 years 10 months ago
1995
IEEE
Tasks in a real-time application usually have several stringent timing, resource, and communication requirements. Designing a distributed computing system which can meet all these...