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 2 months 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 8 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 2 months 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 2 months 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 2 months 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