Sciweavers

1937 search results - page 102 / 388
» Starting B Specifications from Use Cases
Sort
View
CASES
2008
ACM
15 years 6 months ago
Control flow optimization in loops using interval analysis
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau
155
Voted
PARELEC
2000
IEEE
15 years 9 months ago
Sequential and Distributed Simulations Using Java Threads
The purpose of this paper consists of demonstrating an implementation methodology of sequential and distributed simulations using Java programming: two specific algorithms based o...
Mostafa Azizi, El Mostapha Aboulhamid, Sofiè...
LSSC
2007
Springer
15 years 10 months ago
Application of Hierarchical Decomposition: Preconditioners and Error Estimates for Conforming and Nonconforming FEM
A successive refinement of a finite element grid provides a sequence of nested grids and hierarchy of nested finite element spaces as well as a natural hierarchical decompositio...
Radim Blaheta
TIT
2002
96views more  TIT 2002»
15 years 4 months ago
An axiomatization of partition entropy
Abstract-- The aim of this paper is to present an axiomatization of a generalization of Shannon's entropy starting from partitions of finite sets. The proposed axiomatization ...
Dan A. Simovici, Szymon Jaroszewicz
141
Voted
GECCO
2007
Springer
184views Optimization» more  GECCO 2007»
15 years 8 months ago
Multi-objective optimization tool for a free structure analog circuits design using genetic algorithms and incorporating parasit
This paper presents a novel approach for a free structure analog circuit design using Genetic Algorithms (GA). A major problem in a free structure circuit is its sensitivity calcu...
Yaser M. A. Khalifa, Badar K. Khan, Faisal Taha