Sciweavers

2689 search results - page 19 / 538
» ParalleX: A Study of A New Parallel Computation Model
Sort
View
CONCUR
2008
Springer
13 years 10 months ago
Modeling Computational Security in Long-Lived Systems
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...
IPPS
2005
IEEE
14 years 2 months ago
An Experimental Study of Parallel Biconnected Components Algorithms on Symmetric Multiprocessors (SMPs)
We present an experimental study of parallel biconnected components algorithms employing several fundamental parallel primitives, e.g., prefix sum, list ranking, sorting, connect...
Guojing Cong, David A. Bader
IPPS
2007
IEEE
14 years 3 months ago
Automatic Performance Diagnosis of Parallel Computations with Compositional Models
Performance tuning involves a diagnostic process to locate and explain sources of program inefficiency. A performance diagnosis system can leverage knowledge of performance cause...
Li Li, Allen D. Malony
ASP
2001
Springer
14 years 1 months ago
Computing stable models in parallel
Answer-set programming (ASP) solvers must handle difficult computational problems that are NP-hard. These solvers are in the worst case exponential and their scope of applicabilit...
Raphael A. Finkel, Victor W. Marek, Neil Moore, Mi...
ACMDIS
1997
ACM
14 years 11 days ago
The Flower Model for Multidisciplinary Teamwork on a New Product-Market Combination - In This Case E-Mail-on-TV
A multidisciplinary team at Philips Sound and Vision's TV Lab developed an E-mail-on-TV functionality. Their objective is to offer the benefits of E-mail to people in their l...
Marc Steen