Sciweavers

2979 search results - page 18 / 596
» Computation and the Periodic Table
Sort
View
IPPS
2002
IEEE
14 years 2 months ago
Achieving Scalability in Parallel Tabled Logic Programs
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming becau...
Ricardo Rocha, Fernando M. A. Silva, Vítor ...
ICLP
1999
Springer
14 years 2 months ago
A Linear Tabling Mechanism
Delaying-based tabling mechanisms, such as the one adopted in XSB, are nonlinear in the sense that the computation state of delayed calls has to be preserved. In this paper, we pr...
Neng-Fa Zhou, Yi-Dong Shen, Li-Yan Yuan, Jia-Huai ...
EUROPAR
2008
Springer
13 years 11 months ago
Parallel Algorithms for Triangular Periodic Sylvester-Type Matrix Equations
Abstract. We present parallel algorithms for triangular periodic Sylvester-type matrix equations, conceptually being the third step of a periodic Bartels
Per Andersson, Robert Granat, Isak Jonsson, Bo K&a...
CDC
2009
IEEE
298views Control Systems» more  CDC 2009»
14 years 2 months ago
Stability analysis for sampled-data systems with a time-varying period
— This paper proposes a novel stability analysis of linear systems with sampled-data inputs. Inspired by the inputdelay approach and the stability of impulsive systems, this meth...
Alexandre Seuret
TC
2008
13 years 9 months ago
Minimum Deadline Calculation for Periodic Real-Time Tasks in Dynamic Priority Systems
Real-time systems are often designed using a set of periodic tasks. Task periods are usually set by the system requirements, but deadlines and computation times can be modified in ...
Patricia Balbastre, Ismael Ripoll, Alfons Crespo