Sciweavers

2452 search results - page 153 / 491
» On Reduction of Lagrange Systems
Sort
View
ISCAS
2006
IEEE
93views Hardware» more  ISCAS 2006»
16 years 29 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 ...
219
Voted
ISVLSI
2006
IEEE
150views VLSI» more  ISVLSI 2006»
16 years 29 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
201
Voted
CALCO
2005
Springer
114views Mathematics» more  CALCO 2005»
16 years 15 days 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 10 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 10 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