Sciweavers

31387 search results - page 14 / 6278
» Abstracts
Sort
View
OSDI
2004
ACM
14 years 10 months ago
Boxwood: Abstractions as the Foundation for Storage Infrastructure
Abstractions as the Foundation for Storage Infrastructure John MacCormick, Nick Murphy, Marc Najork, Chandramohan A. Thekkath, and Lidong Zhou Microsoft Research Silicon Valley Wr...
John MacCormick, Nick Murphy, Marc Najork, Chandra...
FMCAD
2009
Springer
14 years 4 months ago
Structure-aware computation of predicate abstraction
cate abstraction A. Cimatti, J. Dubrovin, T. Junttila, M. Roveri Fondazione Bruno Kessler, Trento, Italy Helsinki Institute of Technology, Finland
Alessandro Cimatti, Jori Dubrovin, Tommi A. Juntti...
FMCAD
2009
Springer
14 years 4 months ago
SAT-based synthesis of clock gating functions using 3-valued abstraction
Valued Abstraction Oleg Rokhlenko Joint work with Eli Arbel and Karen Yorav IBM Haifa Research Labs
Eli Arbel, Oleg Rokhlenko, Karen Yorav
DATE
2007
IEEE
79views Hardware» more  DATE 2007»
14 years 4 months ago
HW/SW implementation from abstract architecture models
plementation from Abstract Architecture Models Ahmed Amine Jerraya TIMA Laboratory - 46, av. Félix Viallet - 38031 Grenoble – France
Ahmed Amine Jerraya
WOWMOM
2006
ACM
102views Multimedia» more  WOWMOM 2006»
14 years 3 months ago
Virtual Sensors: Abstracting Data from Physical Sensors
Sensors: Abstracting Data from Physical Sensors TR-UTEDGE-2006-001 Sanem Kabadayi Adam Pridgen Christine Julien © Copyright 2006 The University of Texas at Austin
Sanem Kabadayi, Adam Pridgen, Christine Julien