1015 search results - page 147 / 203 » Syntactic Control of Concurrency |
OSDI
2008
ACM
15 years 10 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...
155
click to vote
SIGMOD
2007
ACM
15 years 10 months ago
2007
ACM
In-network sensor query processing systems (ISQPs), or sensor databases, have been developed to acquire, process and aggregate data from wireless sensor networks (WSNs). Because W...
TLDI
2010
ACM
15 years 6 months ago
2010
ACM
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Constraints are an important part of role-based access control policies. The safety or security of a system is maintained by enforcing constraints that are specified in the pol...
101
click to vote
CSMR
2007
IEEE
15 years 4 months ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...