Sciweavers

1642 search results - page 33 / 329
» SPINning Parallel Systems Software
Sort
View
ISORC
2008
IEEE
14 years 2 months ago
Efficient Metadata Management for Flash File Systems
Jaegeuk Kim, Heeseung Jo, Hyotaek Shim, Jin-Soo Ki...
ISORC
2007
IEEE
14 years 2 months ago
System-Level Energy-Efficiency for Real-Time Tasks
Chuan-Yue Yang, Jian-Jia Chen, Chia-Mei Hung, Tei-...
IPPS
2007
IEEE
14 years 2 months ago
The Next Generation Software Workshop - IPDPS'07
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...
Frederica Darema
LCPC
2009
Springer
14 years 8 days ago
Fastpath Speculative Parallelization
Abstract. We describe Fastpath, a system for speculative parallelization of sequential programs on conventional multicore processors. Our system distinguishes between the lead thre...
Michael F. Spear, Kirk Kelsey, Tongxin Bai, Luke D...
FSTTCS
2004
Springer
14 years 1 months ago
Distributed Games with Causal Memory Are Decidable for Series-Parallel Systems
This paper deals with distributed control problems by means of distributed games played on Mazurkiewicz traces. The main difference with other notions of distributed games recentl...
Paul Gastin, Benjamin Lerman, Marc Zeitoun