Search Sciweavers | Sciweavers

1206 search results - page 45 / 242

» Concurrent Abstract Predicates

122

click to vote

TCC
2009
Springer

169views Cryptology» more TCC 2009»

Goldreich's One-Way Function Candidate and Myopic Backtracking Algorithms

16 years 1 months ago

Download www.cs.berkeley.edu

Abstract. Goldreich (ECCC 2000) proposed a candidate one-way function construction which is parameterized by the choice of a small predicate (over d = O(1) variables) and of a bipa...

James Cook, Omid Etesami, Rachel Miller, Luca Trev...

claim paper

Read More »

click to vote

ICLP
2003
Springer

120views Automated Reasoning» more ICLP 2003»

Flow Java: Declarative Concurrency for Java

15 years 5 months ago

Download www.sics.se

Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...

Frej Drejhammar, Christian Schulte, Per Brand, Sei...

claim paper

Read More »

click to vote

PPOPP
2005
ACM

87views Distributed And Parallel Com...» more PPOPP 2005»

Composable memory transactions

15 years 6 months ago

Download www.haskell.org

Writing concurrent programs is notoriously difﬁcult, and is of increasing practical importance. A particular source of concern is n correctly-implemented concurrency abstraction...

Tim Harris, Simon Marlow, Simon L. Peyton Jones, M...

claim paper

Read More »

click to vote

ICC
2007
IEEE

119views Communications» more ICC 2007»

Energy-Efficient Multi-Hop Scheduling for Multi-Rate 802.15.3 WPANs

15 years 4 months ago

Download www.prism.uvsq.fr

Abstract-- We propose an energy

Jinhui Shen, Ioanis Nikolaidis, Janelle J. Harms

claim paper