×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [concurrent systems]
Home >
concurrent systems
Petri nets for manufacturing modeling
120 views
DOC2
282 views
slides
282 views
Akka 2.0 Reloaded
2.073 views
Toward Automatic Generation of Models with Probes from the SDL System Specification
160 views
The Quest for Correctness Joseph Sifakis VERIMAG Laboratory 2nd Sogeti Testing Academy April 29th 2009.
213 views
Inaldo Costa 1 Agentes de Software Agentes e Sistemas Multiagentes Baseado no livro An Introduction to MultiAgent Systems Michael Wooldridge, John Wiley.
216 views
Types and Programming Languages Lecture 1 Simon Gay Department of Computing Science University of Glasgow 2006/07.
215 views
Modeling Software Systems Lecture 2 Book: Chapter 4.
225 views
Chapter 15 Dependability and Security Assurance Lecture 1 1Chapter 15 Dependability and Security Assurance.
259 views
Fast and Lock-Free Concurrent Priority Queues for Multi-Thread Systems Håkan Sundell Philippas Tsigas.
219 views
AY-Jan.20011 Communicating in Systems with Heterogeneous Timing Alex Yakovlev, Asynchronous Systems Laboratory University of Newcastle upon Tyne Edinburgh,11.
213 views
Next >