-
2
-
-
0032519093
-
Performance of a time warp based simulator of large-scale PCS networks
-
Beraldi, R., & Nigro, L. (1998). Performance of a Time Warp based simulator of large-scale PCS networks. Simulation Practice and Theory, 6(2), 149-163.
-
(1998)
Simulation Practice and Theory
, vol.6
, Issue.2
, pp. 149-163
-
-
Beraldi, R.1
Nigro, L.2
-
4
-
-
0031170049
-
Distributed measurement systems: An object-oriented architecture and a case study
-
Daponte, P., Grimaldi, D., Nigro, L., & Pupo, F. (1996). Distributed measurement systems: an object-oriented architecture and a case study. Computer Standards and Interfaces, 18(5), 383-395.
-
(1996)
Computer Standards and Interfaces
, vol.18
, Issue.5
, pp. 383-395
-
-
Daponte, P.1
Grimaldi, D.2
Nigro, L.3
Pupo, F.4
-
5
-
-
85034138230
-
Actors and Coloured Petri Nets in the development lifecycle of distributed real-time systems
-
University of Patras Rio, Greece, 15-17 July
-
Fortino, G., Nigro, L., & Pupo, F. (1998). Actors and Coloured Petri Nets in the development lifecycle of distributed real-time systems. In Proceedings of the IFAC - Large Scale Systems (LSS'98): Theory and Applications, University of Patras Rio, Greece, 15-17 July, pp. 1188-1193.
-
(1998)
Proceedings of the IFAC - Large Scale Systems (LSS'98): Theory and Applications
, pp. 1188-1193
-
-
Fortino, G.1
Nigro, L.2
Pupo, F.3
-
6
-
-
0026103655
-
A unified high-level Petri net formalism for time-critical systems
-
Ghezzi, C., Mandrioli, D., Morasca, S., & Pezzè, M. (1991). A unified high-level Petri net formalism for time-critical systems. IEEE Transactions on Software Engineering, 17(2), 160-172.
-
(1991)
IEEE Transactions on Software Engineering
, vol.17
, Issue.2
, pp. 160-172
-
-
Ghezzi, C.1
Mandrioli, D.2
Morasca, S.3
Pezzè, M.4
-
8
-
-
0039042969
-
Real time protocol design for control area networks
-
Ostrava (Cz Rep.)
-
Kirk, B. (1995). Real time protocol design for control area networks. Proceedings of the Real Time'95, Ostrava (Cz Rep.), pp. 251-268.
-
(1995)
Proceedings of the Real Time'95
, pp. 251-268
-
-
Kirk, B.1
-
9
-
-
21744447288
-
-
Berlin: Springer
-
Kirk, B., Nigro, L., & Pupo, F. (1997). Using real time constraints for modularisation. Lecture Notes in Computer Science (Vol. 1204, pp. 236-251). Berlin: Springer.
-
(1997)
Using Real Time Constraints for Modularisation. Lecture Notes in Computer Science
, vol.1204
, pp. 236-251
-
-
Kirk, B.1
Nigro, L.2
Pupo, F.3
-
11
-
-
0007840669
-
-
Computer Science Department, University of Aaurus
-
Jensen, K., Christensen, S., Huber, P., & Holla, M. (1996). Design/CPN. A reference manual. Computer Science Department, University of Aaurus. http://www.daimi.aau.dk/designCPN/.
-
(1996)
Design/CPN. A Reference Manual
-
-
Jensen, K.1
Christensen, S.2
Huber, P.3
Holla, M.4
-
12
-
-
21344446287
-
Modelling and analysing DART systems through high level Petri nets
-
Berlin: Springer
-
Nigro, L., & Pupo, F. (1996). Modelling and analysing DART systems through high level Petri nets. Lecture Notes in Computer Science (Vol. 1091, pp. 420-439). Berlin: Springer.
-
(1996)
Lecture Notes in Computer Science
, vol.1091
, pp. 420-439
-
-
Nigro, L.1
Pupo, F.2
-
13
-
-
85034150855
-
Using Design/CPN for the schedulability analysis of actor systems with timing constraints
-
Univ. of Aarhus (Denmark), 8-12 June
-
Nigro, L., & Pupo, F. (1998). Using Design/CPN for the schedulability analysis of actor systems with timing constraints. In Proceedings of the Workshop on the Practical Use of CPN and Design/CPN, Univ. of Aarhus (Denmark), 8-12 June (pp. 271-285).
-
(1998)
Proceedings of the Workshop on the Practical Use of CPN and Design/cPN
, pp. 271-285
-
-
Nigro, L.1
Pupo, F.2
-
17
-
-
84976825210
-
RTsynchronizer: Language support for real-time specification in distributed systems
-
Ren, S., & Agha, G. (1995). RTsynchronizer: language support for real-time specification in distributed systems. ACM SIGPLAN Notices, 30, 50-59.
-
(1995)
ACM SIGPLAN Notices
, vol.30
, pp. 50-59
-
-
Ren, S.1
Agha, G.2
-
18
-
-
0030578258
-
A modular approach for programming distributed real-time systems
-
Ren, S., Agha, G., & Saito, M. (1996). A modular approach for programming distributed real-time systems. Journal of Parallel and Distributed Computing, 36, 32-52.
-
(1996)
Journal of Parallel and Distributed Computing
, vol.36
, pp. 32-52
-
-
Ren, S.1
Agha, G.2
Saito, M.3
-
19
-
-
0011398383
-
A modular approach to real-time synchronisation
-
OOPS Messenger, ACM SIGPLAN
-
Saito, M., & Agha, G. (1995). A modular approach to real-time synchronisation. In Object-oriented real-time systems workshop (pp. 13-22). OOPS Messenger, ACM SIGPLAN.
-
(1995)
Object-oriented Real-time Systems Workshop
, pp. 13-22
-
-
Saito, M.1
Agha, G.2
-
20
-
-
0029378832
-
Analysis of hard real time communications
-
Tindel, K., Burns, A., & Wellings, A.J. (1995). Analysis of hard real time communications. Real Time Systems, 9, 147-171.
-
(1995)
Real Time Systems
, vol.9
, pp. 147-171
-
-
Tindel, K.1
Burns, A.2
Wellings, A.J.3
-
21
-
-
85034129944
-
Object orientation in the real-time system lifecycle
-
Lyon, 15-17 September
-
Verber, D., Colnaric, M., Frigeri, A.H., & Halang, W.A. (1997). Object orientation in the real-time system lifecycle. Proceedings of the 22nd IFAC/IFIP Workshop on Real-Time Programming, Lyon, 15-17 September (pp. 77-82).
-
(1997)
Proceedings of the 22nd IFAC/IFIP Workshop on Real-time Programming
, pp. 77-82
-
-
Verber, D.1
Colnaric, M.2
Frigeri, A.H.3
Halang, W.A.4
|