Sciweavers

1146 search results - page 160 / 230
» Applications of the TAMPR Transformation System
Sort
View
ISSS
1999
IEEE
109views Hardware» more  ISSS 1999»
15 years 9 months ago
Loop Alignment for Memory Accesses Optimization
Portable or embedded systems allow more and more complex applications like multimedia today. These applications and submicronic technologies have made the power consumption criter...
Antoine Fraboulet, Guillaume Huard, Anne Mignotte
LCR
1998
Springer
109views System Software» more  LCR 1998»
15 years 9 months ago
Expressing Irregular Computations in Modern Fortran Dialects
Abstract. Modern dialects of Fortran enjoy wide use and good support on highperformance computers as performance-oriented programming languages. By providing the ability to express...
Jan Prins, Siddhartha Chatterjee, Martin Simons
NIPS
2001
15 years 6 months ago
The Concave-Convex Procedure (CCCP)
We introduce the Concave-Convex procedure (CCCP) which constructs discrete time iterative dynamical systems which are guaranteed to monotonically decrease global optimization/ener...
Alan L. Yuille, Anand Rangarajan
WCRE
1995
IEEE
15 years 8 months ago
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng
IADIS
2004
15 years 6 months ago
WETA: Bringing together Mobility and the Web
Currently, most of the web is inaccessible to mobile users. Few pages are designed with anything other than the Desktop PC in mind. The growing number of mobile devices with diffe...
René Hexel, Eko Widjono