733 search results - page 90 / 147 » A Logic Programming View of Authorization in Distributed Sys... |
180
click to vote
HT
1993
ACM
15 years 8 months ago
1993
ACM
Traditional concurrency control techniques for database systems (transaction management based on locking protocols) have been successful in many multiuser settings, but these tech...
125
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
With the shrinking of transistors continuing to follow Moore's Law and the non-scalability of conventional outof-order processors, multi-core systems are becoming the design ...
236
click to vote
CSUR
2011
14 years 7 months ago
2011
high-level programming abstractions, capable of simplifying the programming chore without sacrificing efficiency, has been long recognized and several solutions have been hitherto...
122
click to vote
FPGA
2004
ACM
15 years 9 months ago
2004
ACM
This paper shows a method to verifying the thermal status of complex FPGA-based circuits like microprocessors. Thus, the designer can evaluate if a particular block is working bey...
131
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
We have architected and evaluated a new kind of data resource, one that is composed of a logical collection of ephemeral data streams that could be viewed as a collection of publi...