Sciweavers

17298 search results - page 139 / 3460
» Abstract computing machines
Sort
View
122
Voted
EWSN
2008
Springer
16 years 3 months ago
Device Driver Abstraction for Multithreaded Sensor Network Operating Systems
Haksoo Choi, Chanmin Yoon, Hojung Cha
PODC
1996
ACM
15 years 7 months ago
Automated Logical Verification Based on Trace Abstractions
95-53Klarlundetal.:AutomatedLogicalVerificationbasedonTraceAbstractions BRICSBasic Research in Computer Science Automated Logical Verification Trace Abstractions Nils Klarlund Moge...
Nils Klarlund, Mogens Nielsen, Kim Sunesen
SOFSEM
2009
Springer
16 years 8 days ago
Abstract Storage Devices
Storage Devices Robert K¨onig Ueli Maurer Stefano Tessaro SOFSEM 2009 January 27, 2009
Robert König, Ueli M. Maurer, Stefano Tessaro
129
Voted
TAICPART
2006
IEEE
183views Education» more  TAICPART 2006»
15 years 9 months ago
AutoAbstract: Problem Statement and Hypothetical Solutions
ract: Problem Statement and Hypothetical Solutions Shaukat Ali Verification and Testing Group (VT) Department of Computer Science University of Sheffield
Shaukat Ali
76
Voted
ICDCSW
2003
IEEE
15 years 8 months ago
A Communication Architecture and Programming Abstractions for Real-Time Embedded Sensor Networks
Tarek F. Abdelzaher, Jack Stankovic, Sang Hyuk Son...