Sciweavers

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