6939 search results - page 1345 / 1388 » Algorithm Engineering for Parallel Computation |
146
click to vote
LCTRTS
2010
Springer
15 years 6 days ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
137
click to vote
SIAMSC
2011
14 years 9 months ago
2011
The classical inexact Newton algorithm is an efficient and popular technique for solving large sparse nonlinear system of equations. When the nonlinearities in the system are wellb...
129
click to vote
SIAMSC
2010
14 years 9 months ago
2010
Abstract. BDDC algorithms are constructed and analyzed for the system of almost incompressible elasticity discretized with Gauss-Lobatto-Legendre spectral elements in three dimensi...
135
click to vote
EICS
2009
ACM
15 years 8 months ago
2009
ACM
This paper evaluates the input performance capabilities of Velocity Threshold (I-VT) and Kalman Filter (I-KF) eye movement detection models when employed for eye-gaze-guided inter...
112
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...