Search Sciweavers | Sciweavers

3179 search results - page 22 / 636

» Applications of PCF Theory

174

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

15 years 11 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 »

133

click to vote

CAV
2005
Springer

89views Hardware» more CAV 2005»

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

15 years 11 months ago

Download www.lsi.upc.es

Robert Nieuwenhuis, Albert Oliveras

claim paper

Read More »

119

click to vote

ISSAC
2005
Springer

70views Mathematics» more ISSAC 2005»

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

15 years 11 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 »

105

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

15 years 11 months ago

Download formal.cs.uiuc.edu

Gul Agha, Prasanna Thati

claim paper