Sciweavers

1528 search results - page 194 / 306
» Implementing Generalized Operator Overloading
Sort
View
ISCAS
2006
IEEE
70views Hardware» more  ISCAS 2006»
15 years 3 months ago
Quadrature mismatch shaping with a complex, tree structured DAC
— Quadrature Σ∆ ADCs require a feedback path for both the I and the Q part of the complex feedback signal. If two separated multibit feedback DACs are used, mismatch among the...
Stijn Reekmans, Jeroen De Maeyer, Pieter Rombouts,...
MICRO
2006
IEEE
162views Hardware» more  MICRO 2006»
15 years 3 months ago
Adaptive Caches: Effective Shaping of Cache Behavior to Workloads
We present and evaluate the idea of adaptive processor cache management. Specifically, we describe a novel and general scheme by which we can combine any two cache management alg...
Ranjith Subramanian, Yannis Smaragdakis, Gabriel H...
SRDS
2006
IEEE
15 years 3 months ago
Generalised Repair for Overlay Networks
We present and evaluate a generic approach to the repair of overlay networks which identifies general principles of overlay repair and embodies these as a reusable service. At th...
Barry Porter, François Taïani, Geoff C...
ACL2
2006
ACM
15 years 3 months ago
Reasoning about ACL2 file input
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
Jared Davis
ACMICEC
2006
ACM
112views ECommerce» more  ACMICEC 2006»
15 years 3 months ago
Persistent information security: beyond the e-commerce threat model
This paper introduces a new class of information security solution. The core technology, to authorize and track the use of digital files, was originally developed in eCommerce app...
Merv Matson, Mihaela Ulieru