31387 search results - page 67 / 6278 » Abstracts |
POPL
2009
ACM
14 years 10 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...
CHI
2006
ACM
14 years 10 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
ICCAD
2004
IEEE
14 years 6 months ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
SBMF
2009
Springer
14 years 4 months ago
2009
Springer
Types Hongwei Xi Boston University Work partly funded by NSF grants no. CCR-0229480 and no. CCF-0702665 and General Theoretical Account for Abstract Types – p.1/20
ASPDAC
2009
ACM
14 years 4 months ago
2009
ACM
Dataflow abstracted Virtual Prototype for HdS-Design Wolfgang Ecker Stefan Heinen Michael Velten Infineon Technologies AG Germany ASPDAC 2009 Special Session Hardware-dependent Sof...