Sciweavers

439 search results - page 46 / 88
» Stretching transactional memory
Sort
View
NETWORKING
2010
15 years 1 months ago
Handling Transient Link Failures Using Alternate Next Hop Counters
In this paper, we propose a routing technique to alleviate packet loss due to transient link failures, which are major causes of disruption in the Internet. The proposed technique ...
Suksant Sae Lor, Raul Landa, Redouane Ali, Miguel ...
ICCD
2006
IEEE
143views Hardware» more  ICCD 2006»
15 years 8 months ago
Improving Power and Data Efficiency with Threaded Memory Modules
—The technique of module-threading utilizes standard DDR DRAM components to build modified memory modules. These modified modules incorporate one or more additional control signa...
Frederick A. Ware, Craig Hampel
HICSS
2005
IEEE
120views Biometrics» more  HICSS 2005»
15 years 5 months ago
Learning from Project Experiences Using a Legacy-Based Approach
As project teams become used more widely, the question of how to capitalize on the knowledge learned in these teams remains an open issue. Using previous research on transactive m...
Lynne P. Cooper, Ann Majchrzak, Samer Faraj
OSDI
2008
ACM
16 years 3 days ago
Transactional Flash
Transactional flash (TxFlash) is a novel solid-state drive (SSD) that uses flash memory and exports a transactional interface (WriteAtomic) to the higher-level software. The copy-...
Vijayan Prabhakaran, Thomas L. Rodeheffer, Lidong ...
TLDI
2009
ACM
122views Formal Methods» more  TLDI 2009»
15 years 8 months ago
Towards type-theoretic semantics for transactional concurrency
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
Aleksandar Nanevski, Paul Govereau, Greg Morrisett