Sciweavers

1061 search results - page 107 / 213
» Understanding Architectural Assets
Sort
View
CAISE
2006
Springer
15 years 8 months ago
Defining Requirements for Business Process Flexibility
The recent work on business process flexibility focuses primarily on defining and classifying business process flexibility and developing strategies, architectures, and tactics for...
Kuldeep Kumar, Murali Mohan Narasipuram
TPHOL
2000
IEEE
15 years 7 months ago
Formal Verification of IA-64 Division Algorithms
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
John Harrison
WCRE
1995
IEEE
15 years 7 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
MASCOTS
2010
15 years 5 months ago
Barra: A Parallel Functional Simulator for GPGPU
Abstract--We present Barra, a simulator of Graphics Processing Units (GPU) tuned for general purpose processing (GPGPU). It is based on the UNISIM framework and it simulates the na...
Sylvain Collange, Marc Daumas, David Defour, David...
ESANN
2006
15 years 5 months ago
Learning Visual Invariance
Invariance is a necessary feature of a visual system able to recognize real objects in all their possible appearance. It is also the processing step most problematic to understand ...
Alessio Plebe