Sciweavers

11 search results - page 1 / 3

» asian 1999

13

ASIAN
1999
Springer

97views Algorithms» more ASIAN 1999»

An Expressive Extension of TLC

13 years 10 months ago

An Expressive Extension of TLC

Download www.brics.dk

Jesper G. Henriksen

claim paper

Read More »

12

ASIAN
1999
Springer

89views Algorithms» more ASIAN 1999»

Formal Verification of the MCS List-Based Queuing Lock

13 years 10 months ago

Formal Verification of the MCS List-Based Queuing Lock

Download www.jaist.ac.jp

Kazuhiro Ogata, Kokichi Futatsugi

claim paper

Read More »

14

ASIAN
1999
Springer

123views Algorithms» more ASIAN 1999»

Asynchronous Migration in Parallel Genetic Programming

13 years 10 months ago

Asynchronous Migration in Parallel Genetic Programming

Download www.cp.eng.chula.ac.th

Shisanu Tongchim, Prabhas Chongstitvatana

claim paper

Read More »

13

ASIAN
1999
Springer

86views Algorithms» more ASIAN 1999»

Security Modeling and Evaluation for the Mobile Code Paradigm

13 years 10 months ago

Security Modeling and Evaluation for the Mobile Code Paradigm

Download www.cse.cuhk.edu.hk

Anthony H. W. Chan, Michael R. Lyu

claim paper

Read More »

11

ASIAN
1999
Springer

86views Algorithms» more ASIAN 1999»

A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs

13 years 10 months ago

A Parallel Approximation Algorithm for the Max Cut Problem on Cubic Graphs

Download www.dsi.uniroma1.it

Tiziana Calamoneri, Irene Finocchi, Yannis Manouss...

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »