1552 search results - page 275 / 311 » A Polymorphic Hardware Platform |
167
click to vote
ESOP
2012
Springer
14 years 2 days ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...
145
click to vote
HICSS
2012
IEEE
14 years 2 days ago
2012
IEEE
—Security will be critical for the wireless interface offered by soon-to-be-ubiquitous smart meters — since if not secure, this technology will provide an remotely accessible a...
160
click to vote
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
—We present the design and implementation of ADAM, the first adaptive beamforming based multicast system and experimental framework for indoor wireless environments. ADAM addres...
169
click to vote
ICDCS
2012
IEEE
13 years 6 months ago
2012
IEEE
Abstract—Virtualized cloud systems are prone to performance anomalies due to various reasons such as resource contentions, software bugs, and hardware failures. In this paper, we...
133
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...