Search Sciweavers | Sciweavers

31387 search results - page 185 / 6278

» Abstracting abstract machines

134

click to vote

ADAEUROPE
2006
Springer

124views Software Engineering» more ADAEUROPE 2006»

Abstract Interface Types in GNAT: Conversions, Discriminants, and C++

16 years 16 days ago

Download www.adacore.com

Javier Miranda, Edmond Schonberg

claim paper

Read More »

124

click to vote

ACMDIS
2006
ACM

80views Human Computer Interaction» more ACMDIS 2006»

The use of abstraction and motion in the design of social interfaces

16 years 15 days ago

Download pages.cs.wisc.edu

Bilge Mutlu, Jodi Forlizzi, Illah R. Nourbakhsh, J...

claim paper

Read More »

120

click to vote

APLAS
2006
ACM

89views Programming Languages» more APLAS 2006»

Private Row Types: Abstracting the Unnamed

16 years 15 days ago

Download www.math.nagoya-u.ac.jp

Jacques Garrigue

claim paper

Read More »

click to vote

ASPDAC
2006
ACM

112views Hardware» more ASPDAC 2006»

Refinement strategies for verification methods based on datapath abstraction

16 years 15 days ago

Download www.aspdac.com

Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakal...

claim paper

Read More »

114

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

16 years 15 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers