Sciweavers

72 search results - page 3 / 15

» cai 2009

113

CLUSTER
2009
IEEE

154views Distributed And Parallel Com...» more CLUSTER 2009»

DCR: A fully transparent checkpoint/restart framework for distributed systems

16 years 21 days ago

DCR: A fully transparent checkpoint/restart framework for distributed systems

Download www.cluster2009.org

Can Ma, Zhigang Huo, Jingnan Cai, Dan Meng

claim paper

Read More »

116

SIGSOFT
2009
ACM

138views Software Engineering» more SIGSOFT 2009»

Api hyperlinking via structural overlap

16 years 6 months ago

Api hyperlinking via structural overlap

Download pdos.csail.mit.edu

Fan Long, Xi Wang, Yang Cai

claim paper

Read More »

129

APLAS
2009
ACM

116views Programming Languages» more APLAS 2009»

Weak updates and separation logic

16 years 14 days ago

Weak updates and separation logic

Download www.cse.lehigh.edu

Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai

claim paper

Read More »

124

ATAL
2009
Springer

129views Intelligent Agents» more ATAL 2009»

Emotional agent in serious game (DINO)

16 years 15 days ago

Emotional agent in serious game (DINO)

Download www.ifaamas.org

H. L. Zhang, Z. Shen, X. Tao, C. Y. Miao, B. Li, A...

claim paper

Read More »

168

CAI
2009
Springer

136views Information Technology» more CAI 2009»

A Backward and a Forward Simulation for Weighted Tree Automata

16 years 15 days ago

A Backward and a Forward Simulation for Weighted Tree Automata

Download wwwtcs.inf.tu-dresden.de

Two types of simulations for weighted tree automata (wta) are considered. Wta process trees and assign a weight to each of them. The weights are taken from a semiring. The two type...

Andreas Maletti

claim paper

Read More »

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