2067 search results - page 242 / 414 » Logics of propositional control |
200
click to vote
FCSC
2010
15 years 3 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
158
click to vote
ISMVL
2010
IEEE
15 years 11 months ago
2010
IEEE
— In this paper we review the Billiard Ball Model (BBM) introduced by Toffoli and Fredkin. The analysis of a previous approach to design reversible networks based on BBM it shown...
197
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents preliminary work exploring adaptive field programmable gate arrays (AFPGAs). An AFPGA is adaptative in the sense that the functionality of subcircuits placed o...
150
click to vote
MMMACNS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Partner key management (PKM) is an interoperable credential management protocol for online commercial transactions of high value. PKM reinterprets traditional public key ...
208
click to vote
ISCA
2012
IEEE
13 years 9 months ago
2012
IEEE
When multiple processor (CPU) cores and a GPU integrated together on the same chip share the off-chip main memory, requests from the GPU can heavily interfere with requests from t...