Sciweavers

2044 search results - page 9 / 409
» System theory for numerical analysis
Sort
View
DSN
2005
IEEE
13 years 10 months ago
Combining Response Surface Methodology with Numerical Models for Optimization of Class-Based Queueing Systems
In general, decision support is one of the main purposes of model-based analysis of systems. Response surface methodology (RSM) is an optimization technique that has been applied ...
Peter Kemper, Dennis Müller, Axel Thümml...
AMC
2006
94views more  AMC 2006»
13 years 8 months ago
Error analysis of a specialized numerical method for mathematical models from neuroscience
The exponential Euler method is a nonstandard approximation scheme that was developed specifically for the Hodgkin-Huxley differential equation models that arise in neuroscience a...
Jiyeon Oh, Donald A. French
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
14 years 14 days ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
DALT
2009
Springer
14 years 3 months ago
Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks
Online social networks are enjoying drastic increase in their population and connectivity. One of the fundamental issues in these networks is trust, which is an essential factor in...
Babak Khosravifar, Jamal Bentahar, Maziar Gomrokch...
ICC
2007
IEEE
138views Communications» more  ICC 2007»
14 years 2 months ago
Scalable Router Memory Architecture Based on Inter-leaved DRAM: Analysis and Numerical Studies
1  Routers need buffers to store and forward packets, especially when there is network congestion. With current memory technology, neither the SRAM nor the DRAM alone is suitabl...
Feng Wang, Mounir Hamdi