31387 search results - page 58 / 6278 » Abstracting abstract machines |
FMCAD
2009
Springer
14 years 4 months ago
2009
Springer
Valued Abstraction Oleg Rokhlenko Joint work with Eli Arbel and Karen Yorav IBM Haifa Research Labs
DATE
2007
IEEE
14 years 4 months ago
2007
IEEE
plementation from Abstract Architecture Models Ahmed Amine Jerraya TIMA Laboratory - 46, av. Félix Viallet - 38031 Grenoble – France
WOWMOM
2006
ACM
14 years 3 months ago
2006
ACM
Sensors: Abstracting Data from Physical Sensors TR-UTEDGE-2006-001 Sanem Kabadayi Adam Pridgen Christine Julien © Copyright 2006 The University of Texas at Austin
PRDC
2005
IEEE
14 years 3 months ago
2005
IEEE
TING SETS: A BASIC ABSTRACTION FOR ASYNCHRONOUS AGREEMENT PROBLEMS ROY FRIEDMAN , ACHOUR MOSTEFAOUI , MICHEL RAYNAL
CODES
1999
IEEE
14 years 2 months ago
1999
IEEE
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories