Sciweavers

13618 search results - page 14 / 2724
» The Newton Operating System
Sort
View
CP
2009
Springer
14 years 8 months ago
Filtering Numerical CSPs Using Well-Constrained Subsystems
When interval methods handle systems of equations over the reals, two main types of filtering/contraction algorithms are used to reduce the search space. When the system is well-co...
Ignacio Araya, Gilles Trombettoni, Bertrand Neveu
FDL
2004
IEEE
13 years 11 months ago
Real-Time Operating System Services for Realistic SystemC Simulation Models of Embedded Systems
gn process of embedded systems moves currently towards higher levels of abstraction. As a consequence, a need arises for an early and realistic assessment of system level design d...
P. Hastono, Stephan Klaus, Sorin A. Huss
HPCA
2012
IEEE
12 years 3 months ago
Improving write operations in MLC phase change memory
Phase change memory (PCM) recently has emerged as a promising technology to meet the fast growing demand for large capacity memory in modern computer systems. In particular, multi...
Lei Jiang, Bo Zhao, Youtao Zhang, Jun Yang 0002, B...
SIAMSC
2010
132views more  SIAMSC 2010»
13 years 2 months ago
An Interior-Point Algorithm for Large-Scale Nonlinear Optimization with Inexact Step Computations
We present a line-search algorithm for large-scale continuous optimization. The algorithm is matrix-free in that it does not require the factorization of derivative matrices. Inste...
Frank E. Curtis, Olaf Schenk, Andreas Wächter
ISCAS
2011
IEEE
194views Hardware» more  ISCAS 2011»
12 years 11 months ago
Bifurcation and basin in two coupled parametrically forced logistic maps
— Two coupled logistic maps whose parameters are forced into periodic varying are investigated. From the investigation of bifurcation in this system, nonexistence of odd periodic...
Hironori Kumeno, Yoshifumi Nishio, Daniele Fournie...