Sciweavers

34 search results - page 1 / 7

» tase 2008

7

TASE
2008
IEEE

101views Software Engineering» more TASE 2008»

Compensation of Scanner Creep and Hysteresis for AFM Nanomanipulation

13 years 4 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 »

6

TASE
2008
IEEE

76views Software Engineering» more TASE 2008»

Structure and Interpretation of Computer Programs

13 years 10 months ago

Structure and Interpretation of Computer Programs

Download deptinfo.unice.fr

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

claim paper

Read More »

8

TASE
2008
IEEE

96views Software Engineering» more TASE 2008»

A Relational Model for Confined Separation Logic

13 years 10 months ago

A Relational Model for Confined Separation Logic

Download homepages.cwi.nl

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

claim paper

Read More »

11

TASE
2008
IEEE

148views Software Engineering» more TASE 2008»

Anti-Swinging Input Shaping Control of an Automatic Construction Crane

13 years 4 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 »

7

TASE
2008
IEEE

100views Software Engineering» more TASE 2008»

A Fundamental Permission Interpretation for Ownership Types

13 years 10 months 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 »