Sciweavers

17409 search results - page 362 / 3482
» The Design and Performance of MedJava
Sort
View
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
16 years 1 months ago
A Thermally-Aware Methodology for Design-Specific Optimization of Supply and Threshold Voltages in Nanometer Scale ICs
As CMOS technology scales deeper into the nanometer regime, factors such as leakage power and chip temperature emerge as critically important concerns for VLSI design. This paper,...
Sheng-Chih Lin, Navin Srivastava, Kaustav Banerjee
TLDI
2009
ACM
140views Formal Methods» more  TLDI 2009»
16 years 1 months ago
Design patterns in separation logic
Object-oriented programs are notable for making use of both rder abstractions and mutable, aliased state. Either feature alone is challenging for formal verification, and the com...
Neelakantan R. Krishnaswami, Jonathan Aldrich, Lar...
DATE
2009
IEEE
109views Hardware» more  DATE 2009»
15 years 11 months ago
A design methodology for fully reconfigurable Delta-Sigma data converters
This paper presents a design methodology for fully reconfigurable low-voltage Delta-Sigma converters as for instance used in next-generation wireless applications. The design metho...
Yi Ke, Jan Craninckx, Georges G. E. Gielen
CIRA
2007
IEEE
162views Robotics» more  CIRA 2007»
15 years 11 months ago
Design and Development of a Biped Robot
—Many researchers have been encouraged to investigate the design, posture and stability of biped robots in order to replicate the anthropoid gait. This paper addresses the design...
Vishnu V. Madadi, Sabri Tosunoglu
GECCO
2007
Springer
212views Optimization» more  GECCO 2007»
15 years 10 months ago
A hybrid evolutionary programming algorithm for spread spectrum radar polyphase codes design
This paper presents a hybrid evolutionary programming algorithm to solve the spread spectrum radar polyphase code design problem. The proposed algorithm uses an Evolutionary Progr...
Ángel M. Pérez-Bellido, Sancho Salce...