7681 search results - page 1386 / 1537 » Typed Membrane Systems |
167
Voted
POPL
2011
ACM
14 years 7 months ago
2011
ACM
A number of deterministic parallel programming models with strong safety guarantees are emerging, but similar support for nondeterministic algorithms, such as branch and bound sea...
259
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
Paper forgery is among the leading causes of corruption in many developing regions [2]. In this paper, we introduce PaperSpeckle, a robust system that leverages the natural random...
217
click to vote
EMSOFT
2011
Springer
14 years 3 months ago
2011
Springer
The last several years have seen a rapid increase in smart phone use. Android offers an open-source software platform on smart phones, that includes a Linux-based kernel, Java app...
143
click to vote
FEDCSIS
2011
14 years 3 months ago
2011
—Collaborative mechanisms between services are a crucial aspect in the recent development of pervasive computing systems based on the paradigm of service-oriented architecture. C...
193
click to vote
ASPLOS
2012
ACM
13 years 12 months ago
2012
ACM
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...