Sciweavers

4666 search results - page 37 / 934
» Equations on Timed Languages
Sort
View
ICCAD
2005
IEEE
110views Hardware» more  ICCAD 2005»
14 years 7 months ago
A hybrid linear equation solver and its application in quadratic placement
— This paper presents a new hybrid linear equation solver for quadratic placement. The new solver is a combination of stochastic solver and iterative solver: it is proven in this...
Haifeng Qian, Sachin S. Sapatnekar
CHI
2011
ACM
13 years 2 months ago
Is the media equation a flash in the pan?: the durability and longevity of social responses to computers
Research on social responses to computers often assesses only first-impression reactions during a single experimental session, providing limited knowledge about the lasting effect...
Laura M. Pfeifer, Timothy W. Bickmore
WOSP
2010
ACM
14 years 5 months ago
A page fault equation for dynamic heap sizing
For garbage-collected applications, dynamically-allocated objects are contained in a heap. Programmer productivity improves significantly if there is a garbage collector to autom...
Y. C. Tay, X. R. Zong
ISSAC
1990
Springer
65views Mathematics» more  ISSAC 1990»
14 years 2 months ago
Complexity of Irreducibility Testing for a System of Linear Ordinary Differential Equations
Let a system of linear ordinary differential equations of the first order Y' = AY be given, where A is n x n matrix over a field F(X), assume that the degree degx(A) < d a...
Dima Grigoriev
SIAMSC
2008
149views more  SIAMSC 2008»
13 years 10 months ago
Adaptive Discrete Galerkin Methods Applied to the Chemical Master Equation
In systems biology, the stochastic description of biochemical reaction kinetics is increasingly being employed to model gene regulatory networks and signalling pathways. Mathematic...
Peter Deuflhard, Wilhelm Huisinga, T. Jahnke, Mich...