Sciweavers

2689 search results - page 151 / 538
» ParalleX: A Study of A New Parallel Computation Model
Sort
View
SOFSEM
2000
Springer
15 years 10 months ago
Exhaustive Search, Combinatorial Optimization and Enumeration: Exploring the Potential of Raw Computing Power
For half a century since computers came into existence, the goal of finding elegant and efficient algorithms to solve "simple" (welldefined and well-structured) problems ...
Jürg Nievergelt
ISORC
1999
IEEE
15 years 11 months ago
An Adaptive Scheduling Approach in Real-Time CORBA
CORBA is an emerging middleware infrastructure with open standardization that is receiving a good acceptance since it makes easier to program distributed objects. CORBA is being e...
Carlos Montez, Joni da Silva Fraga, Jean-Marie Far...
CONCUR
1994
Springer
15 years 10 months ago
Composition and Behaviors of Probabilistic I/O Automata
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark
PDP
2006
IEEE
16 years 17 days ago
Probabilistic and Dynamic Optimization of Job Partitioning on a Grid Infrastructure
Production grids have a potential for parallel execution of a very large number of tasks but also introduce a high overhead that significantly impacts the execution of short task...
Tristan Glatard, Johan Montagnat, Xavier Pennec
ICALP
2010
Springer
15 years 8 months ago
From Secrecy to Soundness: Efficient Verification via Secure Computation
d Abstract) Benny Applebaum1 , Yuval Ishai2 , and Eyal Kushilevitz3 1 Computer Science Department, Weizmann Institute of Science 2 Computer Science Department, Technion and UCLA 3 ...
Benny Applebaum, Yuval Ishai, Eyal Kushilevitz