Search Sciweavers | Sciweavers

72 search results - page 3 / 15

» cai 2009

click to vote

CLUSTER
2009
IEEE

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

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

14 years 16 days ago

Download www.cluster2009.org

Can Ma, Zhigang Huo, Jingnan Cai, Dan Meng

claim paper

Read More »

click to vote

SIGSOFT
2009
ACM

138views Software Engineering» more SIGSOFT 2009»

Api hyperlinking via structural overlap

14 years 6 months ago

Download pdos.csail.mit.edu

Fan Long, Xi Wang, Yang Cai

claim paper

Read More »

click to vote

APLAS
2009
ACM

116views Programming Languages» more APLAS 2009»

Weak updates and separation logic

14 years 9 days ago

Download www.cse.lehigh.edu

Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai

claim paper

Read More »

click to vote

ATAL
2009
Springer

129views Intelligent Agents» more ATAL 2009»

Emotional agent in serious game (DINO)

14 years 10 days ago

Download www.ifaamas.org

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

claim paper

Read More »

click to vote

CAI
2009
Springer

136views Information Technology» more CAI 2009»

A Backward and a Forward Simulation for Weighted Tree Automata

14 years 10 days ago

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 »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers