31387 search results - page 106 / 6278 » Abstracting abstract machines |
167
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
lass Recognition using Images of Abstract Regions Yi Li, Jeff A. Bilmes, and Linda G. Shapiro Department of Computer Science and Engineering Department of Electrical Engineering Un...
190
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
ing models and HW-SW Interfaces Abstraction for Multi-Processor SoC Ahmed A. Jerraya TIMA Laboratory 46 Ave Felix Viallet 38031 Grenoble CEDEX, France +33476574759 Ahmed.Jerraya@im...
124
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
ess Preserving Finite State Abstractions Guido de Caso V?ctor Braberman Diego Garbervetsky Sebasti?n Uchitel Departamento de Computaci?n, FCEyN, UBA. Buenos Aires, Argentina Depa...
240
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Abstract Types in Modules with Open Existential Types Beno?t Montagu Didier R?my INRIA {Benoit.Montagu, Didier.Remy}@inria.fr We propose F , a calculus of open existential types t...
114
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
Child-User Abstractions: Need, Experience and Ability Alissa Antle School of Interactive Arts and Technology Simon Fraser University 2400 Central City Surrey, B.C., Canada V3T 2W1