Sciweavers

1129 search results - page 3 / 226

» SAC and neighbourhood SAC

18

SAC
2009
ACM

95views Applied Computing» more SAC 2009»

Local reasoning for abstraction and sharing

14 years 4 months ago

Local reasoning for abstraction and sharing

Download www.cs.famaf.unc.edu.ar

Renato Cherini, Javier O. Blanco

claim paper

Read More »

5

SAC
2009
ACM

78views Applied Computing» more SAC 2009»

Reasoning about comprehensions with first-order SMT solvers

14 years 4 months ago

Reasoning about comprehensions with first-order SMT solvers

Download www.cs.nuim.ie

K. Rustan M. Leino, Rosemary Monahan

claim paper

Read More »

29

SAC
2009
ACM

89views Applied Computing» more SAC 2009»

Constructing process views for service outsourcing

14 years 4 months ago

Constructing process views for service outsourcing

Download www.cs.helsinki.fi

Rik Eshuis, Alex Norta

claim paper

Read More »

19

SAC
2009
ACM

80views Applied Computing» more SAC 2009»

A new inter-layer prediction scheme for spatial scalability with different frame rates

14 years 4 months ago

A new inter-layer prediction scheme for spatial scalability with different frame rates

Download apple.cs.pusan.ac.kr

Jinmi Kang, Gyeongeun Goh, Kidong Chung

claim paper

Read More »

22

SAC
2009
ACM

86views Applied Computing» more SAC 2009»

Troll, a language for specifying dice-rolls

14 years 4 months ago

Troll, a language for specifying dice-rolls

Download www.diku.dk

Torben Æ. Mogensen

claim paper

Read More »

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