Sciweavers

1465 search results - page 152 / 293
» Making the Correct Mistakes
Sort
View
POPL
2010
ACM
16 years 3 months ago
A simple, verified validator for software pipelining
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
Jean-Baptiste Tristan, Xavier Leroy
WISE
2009
Springer
16 years 3 months ago
Personalizing the Interface in Rich Internet Applications
Recently, existing design methodologies targeting traditional Web applications have been extended for Rich Internet Application modeling support. These extended methodologies curre...
Irene Garrigós, Santiago Meliá, Sven...
ICCD
2004
IEEE
138views Hardware» more  ICCD 2004»
16 years 3 months ago
Design and Implementation of Scalable Low-Power Montgomery Multiplier
In this paper, an efficient Montgomery multiplier is introduced for the modular exponentiation operation, which is fundamental to numerous public-key cryptosystems. Four aspects a...
Hee-Kwan Son, Sang-Geun Oh
ISPASS
2010
IEEE
16 years 1 months ago
Dynamic program analysis of Microsoft Windows applications
—Software instrumentation is a powerful and flexible technique for analyzing the dynamic behavior of programs. By inserting extra code in an application, it is possible to study...
Alex Skaletsky, Tevi Devor, Nadav Chachmon, Robert...
ISBI
2009
IEEE
16 years 1 months ago
A Data-Driven Approach to Prior Extraction for Segmentation of Left Ventricle in Cardiac MR Images
In this paper, we propose a data-driven approach that extracts prior information for segmentation of the left ventricle in cardiac MR images of transplanted rat hearts. In our app...
Xiao Jia, Chao Li, Ying Sun, Ashraf A. Kassim, Yij...