2229 search results - page 57 / 446 » Abstract Storage Devices |
102
click to vote
FSTTCS
2004
Springer
15 years 7 months ago
2004
Springer
d Abstract) Zhe Dang ¡£¢¤¢ , Oscar H. Ibarra ¥ , Pierluigi San Pietro ¦ , and Gaoyan Xie ¡ § School of Electrical Engineering and Computer Science Washington State Univers...
134
click to vote
TSE
2011
14 years 9 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
146
click to vote
KIVS
2009
Springer
15 years 8 months ago
2009
Springer
User Interfaces for Mobile Processes Sonja Zaplata, Ante Vilenica, Dirk Bade, Christian P. Kunze Distributed Systems and Information Systems, Computer Science Department, Universit...
111
click to vote
TLCA
2005
Springer
15 years 7 months ago
2005
Springer
We give a monadic semantics in the category of FM-cpos to a higher-order CBV language with recursion and dynamically allocated mutable references that may store both ground data an...
105
click to vote
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract--Hardware/Software codesign of Elliptic Curve Cryptography has been extensively studied in recent years. However, most of these designs have focused on the computational a...