Sciweavers

319 search results - page 17 / 64
» Some Performance Studies in Exact Linear Algebra
Sort
View
JAPLL
2010
141views more  JAPLL 2010»
14 years 10 months ago
Algebraic tableau reasoning for the description logic SHOQ
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
Jocelyne Faddoul, Volker Haarslev
GECCO
2007
Springer
181views Optimization» more  GECCO 2007»
15 years 6 months ago
A study on metamodeling techniques, ensembles, and multi-surrogates in evolutionary computation
Surrogate-Assisted Memetic Algorithm(SAMA) is a hybrid evolutionary algorithm, particularly a memetic algorithm that employs surrogate models in the optimization search. Since mos...
Dudy Lim, Yew-Soon Ong, Yaochu Jin, Bernhard Sendh...
IPPS
2010
IEEE
14 years 9 months ago
Performance evaluation of concurrent collections on high-performance multicore computing systems
This paper is the first extensive performance study of a recently proposed parallel programming model, called Concurrent Collections (CnC). In CnC, the programmer expresses her co...
Aparna Chandramowlishwaran, Kathleen Knobe, Richar...
WCE
2007
15 years 27 days ago
Avant-Garde Matrix Splitting for the Solution of Sparse Non-symmetric Linear Systems
A non-symmetric matrix splitting is presented for the solution of certain sparse linear systems. The author reports the comparison and the convergence performance of the previous a...
A. A. Shah
DATE
2004
IEEE
157views Hardware» more  DATE 2004»
15 years 3 months ago
Hierarchical Modeling and Simulation of Large Analog Circuits
This paper proposes a new hierarchical circuit modeling and simulation technique in s-domain for linear analog circuits. The new algorithm can perform circuit complexity reduction...
Sheldon X.-D. Tan, Zhenyu Qi, Hang Li