Sciweavers

1191 search results - page 65 / 239
» A New Approach for Solving Nonlinear Equations Systems
Sort
View
IAT
2006
IEEE
14 years 1 months ago
Towards High-Level Programming for Distributed Problem Solving
We present a new approach to distributed problem solving based on high-level program execution. While this technique has proven itself for single-agent systems based on the Golog ...
Ryan F. Kelly, Adrian R. Pearce
CPAIOR
2008
Springer
13 years 9 months ago
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
Tino Teige, Martin Fränzle
EURODAC
1994
IEEE
117views VHDL» more  EURODAC 1994»
13 years 12 months ago
Parallel algorithms for the simulation of lossy transmission lines
The simulation of lossy transmission lines in the time domain is a very time consuming task. It requires numerical convolutions and the solution of linear and nonlinear equation s...
W. Rissiek, O. Rethmeier, H. Holzheuer
CDC
2009
IEEE
101views Control Systems» more  CDC 2009»
14 years 15 days ago
Barrier function nonlinear optimization for optimal Decompression of divers
— This paper is based on a comprehensive dynamic mathematical model (Copernicus) of vascular bubble formation and growth during and after decompression from a dive. The model des...
Le Feng, Christian R. Gutvik, Tor Arne Johansen, D...
DATE
2002
IEEE
107views Hardware» more  DATE 2002»
14 years 23 days ago
High-Speed Non-Linear Asynchronous Pipelines
Many approaches recently proposed for high-speed asynchronous pipelines are applicable only to linear datapaths. However, real systems typically have non-linearities in their data...
Recep O. Ozdag, Peter A. Beerel, Montek Singh, Ste...