5355 search results - page 322 / 1071 » Modules |
ESOP
2010
Springer
16 years 26 days ago
2010
Springer
Abstract. We propose a new formalisation of stability for Rely-Guarantee, in which an assertion's stability is encoded into its syntactic form. This allows two advances in mod...
ICDE
2010
IEEE
16 years 22 days ago
2010
IEEE
— In this paper, we propose a non-blocking buffer management scheme based on a lock-free variant of the GCLOCK page replacement algorithm. Concurrent access to the buffer managem...
106
Voted
ICCAD
2003
IEEE
16 years 12 days ago
2003
IEEE
A high performance communication architecture, SAMBA-bus, is proposed in this paper. In SAMBA-bus, multiple compatible bus transactions can be performed simultaneously with only a...
90
Voted
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Endosymbiotic Computing entails attaching an RF-enabled microcontroller module (endomodule) to an appliance such that it appears as a networked device in the cyber world. It enabl...
98
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
- Parallel architectures have become an increasingly popular method in which to achieve high performance with low power consumption. In order to leverage these benefits, applicatio...