Sciweavers

1532 search results - page 202 / 307
» Functional density synchronization
Sort
View
ICFP
2009
ACM
16 years 3 months ago
Partial memoization of concurrency and communication
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jaga...
BIRTHDAY
2003
Springer
15 years 8 months ago
Digital Algebra and Circuits
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...
Jean Vuillemin
CCGRID
2009
IEEE
15 years 10 months ago
Multicast Trees for Collaborative Applications
—Current implementations of real-time collaborative applications rely on a dedicated infrastructure to carry out all synchronizing and communication functions, and require all en...
Krzysztof Rzadca, Jackson Tan Teck Yong, Anwitaman...
MHCI
2009
Springer
15 years 9 months ago
Emotion sharing via self-composed melodies on mobile phones
In their role as personal communication devices, mobile phones are a natural choice for sharing and communicating emotions. However, their functionalities are currently very limit...
Alireza Sahami Shirazi, Florian Alt, Albrecht Schm...
SAT
2009
Springer
126views Hardware» more  SAT 2009»
15 years 9 months ago
Extending SAT Solvers to Cryptographic Problems
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
Mate Soos, Karsten Nohl, Claude Castelluccia