Search Sciweavers | Sciweavers

3575 search results - page 64 / 715

» Modeling Concurrency with Geometry

140

Voted

ICECCS
2010
IEEE

139views Hardware» more ICECCS 2010»

Formal Modeling for UML/MARTE Concurrency Resources

15 years 7 months ago

Download www.teisa.unican.es

Pablo Peñil, Hector Posadas, Eugenio Villar

claim paper

Read More »

193

Voted

CONSTRAINTS
2008

114views more CONSTRAINTS 2008»

Modeling Biological Systems in Stochastic Concurrent Constraint Programming

15 years 7 months ago

Download www.dmi.units.it

Luca Bortolussi, Alberto Policriti

claim paper

Read More »

142

Voted

SIGPLAN
2008

97views System Software» more SIGPLAN 2008»

Use concurrent programming models to motivate teaching of programming languages

15 years 7 months ago

Download www.eecs.ucf.edu

Gary T. Leavens

claim paper

Read More »

141

Voted

TOPLAS
2008

77views more TOPLAS 2008»

A programming model for concurrent object-oriented programs

15 years 7 months ago

Download lirias.kuleuven.be

Bart Jacobs 0002, Frank Piessens, Jan Smans, K. Ru...

claim paper

Read More »

164

Voted

AICOM
2004

70views more AICOM 2004»

Model checking for the concurrent constraint paradigm

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers