Sciweavers

1492 search results - page 60 / 299

» Concurrent programming in VISO

23

ICSE
1992
IEEE-ACM

82views Software Engineering» more ICSE 1992»

Seeking Concurrency in Rule-Based Programming

14 years 1 months ago

Seeking Concurrency in Rule-Based Programming

Download www.seat.utulsa.edu

Gruia-Catalin Roman, Rose F. Gamble, William E. Ba...

claim paper

Read More »

22

GECCO
2008
Springer

116views Optimization» more GECCO 2008»

Finding deadlocks in large concurrent Java programs using genetic algorithms

13 years 11 months ago

Finding deadlocks in large concurrent Java programs using genetic algorithms

Download neo.lcc.uma.es

Enrique Alba, J. Francisco Chicano, Marco Ferreira...

claim paper

Read More »

30

CONSTRAINTS
2008

114views more CONSTRAINTS 2008»

Modeling Biological Systems in Stochastic Concurrent Constraint Programming

13 years 10 months ago

Modeling Biological Systems in Stochastic Concurrent Constraint Programming

Download www.dmi.units.it

Luca Bortolussi, Alberto Policriti

claim paper

Read More »

33

CORR
2008
Springer

99views Education» more CORR 2008»

The meaning of concurrent programs

13 years 10 months ago

The meaning of concurrent programs

Download www.yodaiken.com

system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...

Victor Yodaiken

claim paper

Read More »

22

FAC
2008

54views more FAC 2008»

Streamlining progress-based derivations of concurrent programs

13 years 10 months ago

Streamlining progress-based derivations of concurrent programs

Download espace.library.uq.edu.au

Brijesh Dongol, Arjan J. Mooij

claim paper

Read More »

« Prev « First page 60 / 299 Last » Next »