Search Sciweavers | Sciweavers

3179 search results - page 22 / 636

» Applications of PCF Theory

click to vote

IPPS
2005
IEEE

154views Distributed And Parallel Com...» more IPPS 2005»

The Applicability of Adaptive Control Theory to QoS Design: Limitations and Solutions

14 years 2 months ago

Download www.dtc.umn.edu

Due to the increasing complexity, the behavior of large-scale distributed systems becomes difficult to predict. The ability of on-line identification and autotuning of adaptive co...

Keqiang Wu, David J. Lilja, Haowei Bai

claim paper

Read More »

click to vote

CAV
2005
Springer

89views Hardware» more CAV 2005»

DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic

14 years 2 months ago

Download www.lsi.upc.es

Robert Nieuwenhuis, Albert Oliveras

claim paper

Read More »

click to vote

ISSAC
2005
Springer

70views Mathematics» more ISSAC 2005»

Approximation of dynamical systems using s-systems theory: application to biological systems

14 years 2 months ago

Download www-sop.inria.fr

In this article we propose a new symbolic-numeric algorithm to ﬁnd positive equilibria of a n-dimensional dynamical system. This algorithm uses a symbolic manipulation of ODE in...

Laurent Tournier

claim paper

Read More »

click to vote

BIRTHDAY
2004
Springer

113views Applied Computing» more BIRTHDAY 2004»

An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language

14 years 2 months ago

Download formal.cs.uiuc.edu

Gul Agha, Prasanna Thati

claim paper

Read More »