Sciweavers

748 search results - page 30 / 150
» concurrency 2008
Sort
View
CONSTRAINTS
2008
114views more  CONSTRAINTS 2008»
15 years 25 days ago
Modeling Biological Systems in Stochastic Concurrent Constraint Programming
Luca Bortolussi, Alberto Policriti
71
Voted
FAC
2008
54views more  FAC 2008»
15 years 24 days ago
Streamlining progress-based derivations of concurrent programs
Brijesh Dongol, Arjan J. Mooij
73
Voted
FMSD
2008
49views more  FMSD 2008»
15 years 24 days ago
Verification of parametric concurrent systems with prioritised FIFO resource management
Ahmed Bouajjani, Peter Habermehl, Tomás Voj...
JSA
2008
121views more  JSA 2008»
15 years 21 days ago
Analyzing concurrency in streaming applications
Sander Stuijk, Twan Basten
80
Voted
INTERNET
2007
75views more  INTERNET 2007»
15 years 19 days ago
Concurrency with Erlang
Steve Vinoski