Sciweavers

3793 search results - page 300 / 759
» The wireless synchronization problem
Sort
View
MEMBRANE
2005
Springer
16 years 4 days ago
Boolean Circuits and a DNA Algorithm in Membrane Computing
In the present paper we propose a way to simulate Boolean gates and circuits in the framework of P systems with active membranes using inhibiting/de-inhibiting rules. This new appr...
Mihai Ionescu, Tseren-Onolt Ishdorj
HUMAN
2003
Springer
15 years 12 months ago
DOC: A Distributed Object Caching System for Information Infrastructure
Object caching is a desirable feature to improve the both scalability and performance of distributed application systems for information infrastructure, the information management ...
Taehee Lee, Junho Shim, Sang-goo Lee
PODC
2000
ACM
15 years 11 months ago
Debugging distributed programs using controlled re-execution
Distributed programs are hard to write. A distributed debugger equipped with the mechanism to re-execute the traced computation in a controlled fashion can greatly facilitate the ...
Neeraj Mittal, Vijay K. Garg
CAV
2006
Springer
120views Hardware» more  CAV 2006»
15 years 10 months ago
Model Checking Multithreaded Programs with Asynchronous Atomic Methods
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
Koushik Sen, Mahesh Viswanathan
IPSN
2010
Springer
15 years 8 months ago
U-connect: a low-latency energy-efficient asynchronous neighbor discovery protocol
Mobile sensor nodes can be used for a wide variety of applications such as social networks and location tracking. An important requirement for all such applications is that the mo...
Arvind Kandhalu, Karthik Lakshmanan, Ragunathan Ra...