Search Sciweavers | Sciweavers

11200 search results - page 283 / 2240

» An Object-oriented Optimization System

126

click to vote

USENIX
2008

155views Operating System» more USENIX 2008»

Automatic Optimization of Parallel Dataflow Programs

15 years 6 months ago

Download www.cs.cmu.edu

Large-scale parallel dataflow systems, e.g., Dryad and Map-Reduce, have attracted significant attention recently. High-level dataflow languages such as Pig Latin and Sawzall are b...

Christopher Olston, Benjamin Reed, Adam Silberstei...

claim paper

Read More »

106

Voted

IISWC
2009
IEEE

113views Operating System» more IISWC 2009»

Performance characterization and optimization of mobile augmented reality on handheld platforms

15 years 10 months ago

Download www.cs.utah.edu

Sadagopan Srinivasan, Zhen Fang, Ravi Iyer, Steven...

claim paper

Read More »

115

Voted

ECCC
2010

95views more ECCC 2010»

On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography

15 years 29 days ago

Download logic.pdmi.ras.ru

The existence of a (p-)optimal propositional proof system is a major open question in (proof) complexity; many people conjecture that such systems do not exist. Kraj

Edward A. Hirsch, Dmitry Itsykson, Ivan Monakhov, ...

claim paper

Read More »

Voted

ICEIS
2008
IEEE

89views Information Technology» more ICEIS 2008»

Model-Driven Generation and Optimization of Complex Integration Processes

15 years 10 months ago