Sciweavers

1181 search results - page 131 / 237
» UMTS MPSoC design evaluation using a system level design fra...
Sort
View
ICDE
2010
IEEE
195views Database» more  ICDE 2010»
13 years 8 months ago
Statistics-driven workload modeling for the Cloud
— A recent trend for data-intensive computations is to use pay-as-you-go execution environments that scale transparently to the user. However, providers of such environments must...
Archana Ganapathi, Yanpei Chen, Armando Fox, Randy...
CLUSTER
2008
IEEE
14 years 2 months ago
Active storage using object-based devices
—The increasing performance and decreasing cost of processors and memory are causing system intelligence to move from the CPU to peripherals such as disk drives. Storage system d...
Tina Miriam John, Anuradharthi Thiruvenkata Ramani...
CIKM
2011
Springer
12 years 8 months ago
Worker types and personality traits in crowdsourcing relevance labels
Crowdsourcing platforms offer unprecedented opportunities for creating evaluation benchmarks, but suffer from varied output quality from crowd workers who possess different levels...
Gabriella Kazai, Jaap Kamps, Natasa Milic-Frayling
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
14 years 2 months ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon
COMSNETS
2012
182views more  COMSNETS 2012»
12 years 3 months ago
Hierarchy-aware distributed overlays in data centers using DC2
—Popular online services such as social networks, e-commerce and bidding are routinely hosted in large-scale data centers. Group communication systems (e.g., multicast) and distr...
Karthik Nagaraj, Hitesh Khandelwal, Charles Edwin ...