Sciweavers

5578 search results - page 172 / 1116
» Base Class Injection
Sort
View
ISCA
1999
IEEE
187views Hardware» more  ISCA 1999»
15 years 10 months ago
Area Efficient Architectures for Information Integrity in Cache Memories
Information integrity in cache memories is a fundamental requirement for dependable computing. Conventional architectures for enhancing cache reliability using check codes make it...
Seongwoo Kim, Arun K. Somani
DAC
1997
ACM
15 years 10 months ago
InfoPad - An Experiment in System Level Design and Integration
The InfoPad project was started at UC Berkeley in 1992 to investigate the issues involved in providing multimedia information access using a portable, wireless terminal. It quickl...
Robert W. Brodersen
ECAL
2007
Springer
15 years 10 months ago
Constructing the Basic Umwelt of Artificial Agents: An Information-Theoretic Approach
Abstract. In the context of situated and embodied cognition, we evaluate an information-theoretic approach to the construction of the Umwelt of an artificial agent. We make the ass...
Philippe Capdepuy, Daniel Polani, Chrystopher L. N...
WCNC
2010
IEEE
15 years 10 months ago
Sampling Jitter Cancellation in Direct-Sampling Radio
—This paper addresses the sampling jitter estimation and cancellation task in direct RF sub-sampling type radios. The proposed jitter estimation method is based on carefully inje...
Ville Syrjala, Mikko Valkama
FM
2009
Springer
169views Formal Methods» more  FM 2009»
15 years 10 months ago
Model Checking Linearizability via Refinement
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
Yang Liu 0003, Wei Chen, Yanhong A. Liu, Jun Sun 0...