Sciweavers

3373 search results - page 371 / 675
» Linear transformations on codes
Sort
View
TAICPART
2010
IEEE
126views Education» more  TAICPART 2010»
15 years 2 months ago
Improved Testing through Refactoring: Experience from the ProTest Project
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
Huiqing Li, Simon J. Thompson
NJC
2000
169views more  NJC 2000»
15 years 3 months ago
A Type System for Bounded Space and Functional In-Place Update
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
Martin Hofmann
ICIP
2000
IEEE
16 years 5 months ago
Cancellation of Show-Through in Duplex Scanning
When scanning a page with printing on both sides, the printing on the back-side often shows through in the scan of the front-side because the page is not completely opaque. This p...
Gaurav Sharma
ICCAD
2007
IEEE
106views Hardware» more  ICCAD 2007»
16 years 26 days ago
A general model for performance optimization of sequential systems
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
Dmitry Bufistov, Jordi Cortadella, Michael Kishine...
ICCAD
2003
IEEE
131views Hardware» more  ICCAD 2003»
16 years 26 days ago
A New Surface Integral Formulation For Wideband Impedance Extraction of 3-D Structures
Detailed electromagnetic analysis of three-dimensional structures in multilayered dielectric media is critical for automatic generation of equivalent circuit models for the interc...
Ben Song, Zhenhai Zhu, John D. Rockway, Jacob Whit...