Sciweavers

2452 search results - page 153 / 491
» On Reduction of Lagrange Systems
Sort
View
ISCAS
2006
IEEE
93views Hardware» more  ISCAS 2006»
16 years 2 days ago
A one-shot projection method for interconnects with process variations
—With the development of IC technology, it becomes urgent to investigate model reduction method for interconnects with process variations. In this paper, a one-shot projection al...
Jun Tao, Xuan Zeng, Fan Yang, Yangfeng Su, Lihong ...
ISVLSI
2006
IEEE
150views VLSI» more  ISVLSI 2006»
16 years 2 days ago
Design and Analysis of a Low Power VLIW DSP Core
Power consumption has been the primary issue in processor design, with various power reduction strategies being adopted from system-level to circuitlevel. In order to develop a po...
Chan-Hao Chang, Diana Marculescu
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
15 years 11 months ago
Towards a Coalgebraic Semantics of the Ambient Calculus
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
EWCBR
2006
Springer
15 years 9 months ago
Complexity Profiling for Informed Case-Base Editing
Abstract. The contents of the case knowledge container is critical to the performance of case-based classification systems. However the knowledge engineer is given little support i...
Stewart Massie, Susan Craw, Nirmalie Wiratunga
FPCA
1995
15 years 9 months ago
Once Upon a Type
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...
David N. Turner, Philip Wadler, Christian Mossin