Sciweavers

53390 search results - page 244 / 10678
» Computer Systems Analysis
Sort
View
LSSC
2007
Springer
16 years 21 days ago
MIC(0) DD Preconditioning of FEM Elasticity Systems on Unstructured Tetrahedral Grids
Abstract. In this study, the topics of grid generation and FEM applications are studied together following their natural synergy. We consider the following three grid generators: N...
Nikola Kosturski
PDP
2006
IEEE
16 years 17 days ago
Comparing Commodity SMP System Software with a Matrix Multiplication Benchmark
Commodity symmetric multiprocessors (SMPs), though originally intended for transaction processing, because of their availability, are now used for numerical analysis applications ...
Georgios Tsilikas, Martin Fleury
NAACL
2010
15 years 4 months ago
A Treebank Query System Based on an Extracted Tree Grammar
Recent work has proposed the use of an extracted tree grammar as the basis for treebank analysis and search queries, in which queries are stated over the elementary trees, which a...
Seth Kulick, Ann Bies
ECRTS
2005
IEEE
16 years 5 days ago
Applying Static WCET Analysis to Automotive Communication Software
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, ...
ICFP
2012
ACM
13 years 9 months ago
Introspective pushdown analysis of higher-order programs
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...
Christopher Earl, Ilya Sergey, Matthew Might, Davi...
« Prev « First page 244 / 10678 Last » Next »