Sciweavers

4690 search results - page 284 / 938
» An operational semantics for Scheme
Sort
View
FORTE
2009
15 years 4 months ago
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
Luciano Baresi, Domenico Bianculli, Sam Guinea, Pa...
OSDI
2008
ACM
16 years 7 months ago
Greening the Switch
Active research is being conducted in reducing power consumption of all the components of the Internet. To that end, we propose schemes for power reduction in network switches - T...
Ganesh Ananthanarayanan, Randy H. Katz
ICC
2008
IEEE
236views Communications» more  ICC 2008»
16 years 1 months ago
Carrier Sensing Based Multiple Access Protocols for Cognitive Radio Networks
—Cognitive radio (CR) dynamically accessing inactive radio spectrum of the primary system (PS) at link level has attracted a lot of research interests. The cognitive radio networ...
Shao-Yu Lien, Chih-Cheng Tseng, Kwang-Cheng Chen
SRDS
1994
IEEE
15 years 10 months ago
Coordinated Checkpointing-Rollback Error Recovery for Distributed Shared Memory Multicomputers
Most recovery schemes that have been proposed for Distributed Shared Memory (DSM) systems require unnecessarily high checkpointing frequency and checkpoint traffic, which are sens...
G. Janakiraman, Yuval Tamir
EMSOFT
2006
Springer
15 years 10 months ago
A superblock-based flash translation layer for NAND flash memory
In NAND flash-based storage systems, an intermediate software layer called a flash translation layer (FTL) is usually employed to hide the erase-before-write characteristics of NA...
Jeong-Uk Kang, Heeseung Jo, Jinsoo Kim, Joonwon Le...