Sciweavers

1884 search results - page 183 / 377
» Abstraction from Counters: An Application on Real-Time Syste...
Sort
View
PARA
2004
Springer
15 years 6 months ago
Parallel Hybrid Sparse Solvers Through Flexible Incomplete Cholesky Preconditioning
Abstract. We consider parallel preconditioning schemes to accelerate the convergence of Conjugate Gradients (CG) for sparse linear system solution. We develop methods for construct...
Keita Teranishi, Padma Raghavan
GG
2004
Springer
15 years 6 months ago
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
Paolo Baldan, Barbara König, Ingo Stürme...
TSMC
2008
79views more  TSMC 2008»
15 years 1 months ago
Issues on Stability of ADP Feedback Controllers for Dynamical Systems
Abstract--This paper traces the development of neuralnetwork (NN)-based feedback controllers that are derived from the principle of adaptive/approximate dynamic programming (ADP) a...
S. N. Balakrishnan, Jie Ding, Frank L. Lewis
SIGCSE
2002
ACM
207views Education» more  SIGCSE 2002»
15 years 1 months ago
Exploration of process interaction in operating systems: a pipe-fork simulator
Abstract This paper examines the use of a simulator to explore process interaction in Unix. The simulator allows instructors to trace through a variety of programs and to show how ...
Steven Robbins
ICSE
2004
IEEE-ACM
16 years 1 months ago
Design of Large-Scale Polylingual Systems
Abstract. Building systems from existing applications written in two or more languages is common practice. Such systems are polylingual. Polylingual systems are relatively easy to ...
Mark Grechanik, Don S. Batory, Dewayne E. Perry