Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Chiola, Giovanni - Dipartimento di Informatica e Scienze dell'Informazione, Università degli Studi di Genova
Architectural Issues and Preliminary Benchmarking of a Lowcost Network of Workstations based on Active
[11] Y. Atamna. Definition of the model stochastic timed well formed coloured nets. In Proc. 5th Intern. Workshop on Petri Nets and Performance Models, pages 24--33, Toulouse, France, October
to the substantially lower effort devoted to the fine tuning of the code.
Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds
of the Optimistic protocol with lazy cancellation, introducing all rollback related functionalities. Now that the debugging of
GAMMA: a Lowcost Network of Workstations Based on Active Messages
Function name Definition N id hxc; yci
