Sciweavers

11 search results - page 1 / 3

» asian 1999

11

ASIAN
1999
Springer

97views Algorithms» more ASIAN 1999»

An Expressive Extension of TLC

13 years 8 months ago

An Expressive Extension of TLC

Download www.brics.dk

Jesper G. Henriksen

claim paper

Read More »

9

ASIAN
1999
Springer

89views Algorithms» more ASIAN 1999»

Formal Verification of the MCS List-Based Queuing Lock

13 years 8 months ago

Formal Verification of the MCS List-Based Queuing Lock

Download www.jaist.ac.jp

Kazuhiro Ogata, Kokichi Futatsugi

claim paper

Read More »

10

ASIAN
1999
Springer

123views Algorithms» more ASIAN 1999»

Asynchronous Migration in Parallel Genetic Programming

13 years 8 months ago

Asynchronous Migration in Parallel Genetic Programming

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

Shisanu Tongchim, Prabhas Chongstitvatana

claim paper

Read More »

11

ASIAN
1999
Springer

86views Algorithms» more ASIAN 1999»

Security Modeling and Evaluation for the Mobile Code Paradigm

13 years 8 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 »

9

ASIAN
1999
Springer

86views Algorithms» more ASIAN 1999»

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

13 years 8 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 »