3143 search results - page 513 / 629 » Minimization of entropy functionals |
130
Voted
CAV
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
162
Voted
GECCO
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents a genetic algorithm based method to solve the capacity and routing assignment problem arising in the design of selfhealing networks using the Virtual Path (VP)...
119
Voted
HPCN
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...
137
Voted
ISCA
1995
IEEE
15 years 7 months ago
1995
IEEE
Latency tolerance is essential in achieving high performance on parallel computers for remote function calls and fine-grained remote memory accesses. EM-X supports interprocessor ...
128
Voted
WCRE
1997
IEEE
15 years 7 months ago
1997
IEEE
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering per...