Search Sciweavers | Sciweavers

192 search results - page 8 / 39

» concurrency 2002

145

click to vote

TSE
2002

85views more TSE 2002»

Knowledge-Based Automation of a Design Method for Concurrent Systems

15 years 5 months ago

Download www.itl.nist.gov

Kevin L. Mills, Hassan Gomaa

claim paper

Read More »

173

Voted

CSL
2002
Springer

105views Automated Reasoning» more CSL 2002»

Trading Probability for Fairness

15 years 5 months ago

Download mtc.epfl.ch

d Abstract) Marcin Jurdzi

Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzi...

claim paper

Read More »

Voted

CODES
2002
IEEE

84views Software Engineering» more CODES 2002»

Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model

15 years 10 months ago

Download www.cadence.com

Felice Balarin, Luciano Lavagno, Claudio Passerone...

claim paper

Read More »

click to vote

IPPS
2002
IEEE

98views Distributed And Parallel Com...» more IPPS 2002»

A Multithreaded Concurrent Garbage Collector Parallelizing the New Instruction in Java

15 years 10 months ago

Download cs.nju.edu.cn

Chia-Tien Dan Lo, Witawas Srisa-an, J. Morris Chan...

claim paper

Read More »

103

Voted

JOT
2002

53views more JOT 2002»

Design principles for highly reusable concurrent object-oriented systems

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers