Sciweavers

34 search results - page 1 / 7

» tase 2008

10

TASE
2008
IEEE

101views Software Engineering» more TASE 2008»

Compensation of Scanner Creep and Hysteresis for AFM Nanomanipulation

13 years 5 months ago

Compensation of Scanner Creep and Hysteresis for AFM Nanomanipulation

Download www-lmr.usc.edu

Babak Mokaberi, Aristides A. G. Requicha

claim paper

Read More »

9

TASE
2008
IEEE

76views Software Engineering» more TASE 2008»

Structure and Interpretation of Computer Programs

14 years 4 days ago

Structure and Interpretation of Computer Programs

Download deptinfo.unice.fr

Ganesh M. Narayan, K. Gopinath, Sridhar Varadaraja...

claim paper

Read More »

13

TASE
2008
IEEE

96views Software Engineering» more TASE 2008»

A Relational Model for Confined Separation Logic

14 years 4 days ago

A Relational Model for Confined Separation Logic

Download homepages.cwi.nl

Shuling Wang, Luís Soares Barbosa, Jos&eacu...

claim paper

Read More »

13

TASE
2008
IEEE

148views Software Engineering» more TASE 2008»

Anti-Swinging Input Shaping Control of an Automatic Construction Crane

13 years 5 months ago

Anti-Swinging Input Shaping Control of an Automatic Construction Crane

Download roboticslab.uc3m.es

Santiago Garrido, Mohamed Abderrahim, Antonio Gim&...

claim paper

Read More »

11

TASE
2008
IEEE

100views Software Engineering» more TASE 2008»

A Fundamental Permission Interpretation for Ownership Types

14 years 4 days ago

A Fundamental Permission Interpretation for Ownership Types

Download www.cs.uwm.edu

This paper builds a bridge between permissions and ownership types. Ownership is a recognized alias control technique. With ownership, each object is assigned an owner and any acc...

Yang Zhao, John Boyland

claim paper

Read More »

« Prev « First page 1 / 7 Last » Next »