Sciweavers

11200 search results - page 283 / 2240
» An Object-oriented Optimization System
Sort
View
USENIX
2008
15 years 9 months ago
Automatic Optimization of Parallel Dataflow Programs
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...
ECCC
2010
95views more  ECCC 2010»
15 years 4 months ago
On optimal heuristic randomized semidecision procedures, with applications to proof complexity and cryptography
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, ...
ICEIS
2008
IEEE
16 years 1 months ago
Model-Driven Generation and Optimization of Complex Integration Processes
Matthias Böhm, Uwe Wloka, Dirk Habich, Wolfga...
RTCSA
2008
IEEE
16 years 29 days ago
New Abstraction for Optimal Real-Time Scheduling on Multiprocessors
Kenji Funaoka, Shinpei Kato, Nobuyuki Yamasaki