Sciweavers

6808 search results - page 698 / 1362
» Distributed Concurrency Control
Sort
View
IPPS
2010
IEEE
15 years 5 months ago
Exploiting inter-thread temporal locality for chip multithreading
Multi-core organizations increasingly support multiple threads per core. Threads on a core usually share a single first-level data cache, so thread schedulers must try to minimize ...
Jiayuan Meng, Jeremy W. Sheaffer, Kevin Skadron
ICDCS
2010
IEEE
15 years 4 months ago
Versatile Stack Management for Multitasking Sensor Networks
Abstract--The networked application environment has motivated the development of multitasking operating systems for sensor networks and other low-power electronic devices, but thei...
Rui Chu, Lin Gu, Yunhao Liu, Mo Li, Xicheng Lu
SBMF
2010
Springer
205views Formal Methods» more  SBMF 2010»
15 years 2 months ago
A High-Level Language for Modeling Algorithms and Their Properties
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
Sabina Akhtar, Stephan Merz, Martin Quinson
TCSV
2010
15 years 2 months ago
Solving Streaming Capacity Problems in P2P VoD Systems
Abstract--Peer-to-peer (P2P) video-on-demand (VoD) is a popular Internet service for a large number of concurrent users. Streaming capacity in a P2P VoD system is defined as the ma...
Yifeng He, Ling Guan
HPCA
2011
IEEE
14 years 11 months ago
Bloom Filter Guided Transaction Scheduling
Contention management is an important design component to a transactional memory system. Without effective contention management to ensure forward progress, a transactional memory...
Geoffrey Blake, Ronald G. Dreslinski, Trevor N. Mu...