Sciweavers

48 search results - page 5 / 10
» ac 2005
Sort
View
ICAC
2005
IEEE
14 years 1 months ago
The Case for Automated Planning in Autonomic Computing
Computing systems have become so complex that the IT industry recognizes the necessity of deliberative methods to make these systems self-configuring, self-healing, selfoptimizin...
Biplav Srivastava, Subbarao Kambhampati
ACS
2005
13 years 7 months ago
Categorical Structures Enriched in a Quantaloid: Orders and Ideals over a Base Quantaloid
Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched ...
Isar Stubbe
ISLPED
2005
ACM
72views Hardware» more  ISLPED 2005»
14 years 1 months ago
A low power current steering digital to analog converter in 0.18 Micron CMOS
This paper discusses a number of circuit techniques which address the DC and AC distortion performance of a low power current steering Digital-to-Analog Converter design. The desi...
Douglas Mercer
ISCAS
2005
IEEE
207views Hardware» more  ISCAS 2005»
14 years 1 months ago
A novel low-power input-independent MOS AC/DC charge pump
: This paper presents a novel fully integrated MOS AC to DC charge pump with low power dissipation and stable output for RFID applications. To improve the input sensitivity, we rep...
Yuan Yao, Yin Shi, Foster F. Dai
ACS
2005
13 years 7 months ago
Relating Categorical Semantics for Intuitionistic Linear Logic
There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationshi...
Maria Emilia Maietti, Paola Maneggia, Valeria de P...