Sciweavers

711 search results - page 126 / 143
» Scalable and Modular Scheduling
Sort
View
NFM
2011
223views Formal Methods» more  NFM 2011»
14 years 8 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...
124
Voted
PVLDB
2010
146views more  PVLDB 2010»
14 years 8 months ago
HaLoop: Efficient Iterative Data Processing on Large Clusters
The growing demand for large-scale data mining and data analysis applications has led both industry and academia to design new types of highly scalable data-intensive computing pl...
Yingyi Bu, Bill Howe, Magdalena Balazinska, Michae...
CCGRID
2011
IEEE
14 years 5 months ago
Towards Real-Time, Volunteer Distributed Computing
Many large-scale distributed computing applications demand real-time responses by soft deadlines. To enable such real-time task distribution and execution on the volunteer resourc...
Sangho Yi, Emmanuel Jeannot, Derrick Kondo, David ...
SIGMOD
2012
ACM
267views Database» more  SIGMOD 2012»
13 years 4 months ago
CloudAlloc: a monitoring and reservation system for compute clusters
Cloud computing has emerged as a promising environment capable of providing flexibility, scalability, elasticity, failover mechanisms, high availability, and other important feat...
Enrico Iori, Alkis Simitsis, Themis Palpanas, Kevi...
DAC
2012
ACM
13 years 4 months ago
Equivalence checking for behaviorally synthesized pipelines
Loop pipelining is a critical transformation in behavioral synthesis. It is crucial to producing hardware designs with acceptable latency and throughput. However, it is a complex ...
Kecheng Hao, Sandip Ray, Fei Xie