Sciweavers

13977 search results - page 818 / 2796
» Evolution in complex systems
Sort
View
HYBRID
2005
Springer
16 years 1 months ago
Existence of Cascade Discrete-Continuous State Estimators for Systems on a Partial Order
In this paper, a cascade discrete-continuous state estimator on a partial order is proposed and its existence investigated. The continuous state estimation error is bounded by a mo...
Domitilla Del Vecchio, Richard M. Murray
UC
2005
Springer
16 years 1 months ago
A Web-Based P Systems Simulator and Its Parallelization
In this paper we present WebPS, an open-source web-enabled simulator for P systems, and a P accelerator for parallelization of the existing sequential simulators. The simulator is ...
Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa, Da...
CIKM
2004
Springer
16 years 1 months ago
A design space approach to analysis of information retrieval adaptive filtering systems
In this paper we suggest a new approach to analysis and design of IR systems. We argue for design space exploration in constructing IR systems and in analyzing the effects of ind...
Dmitriy Fradkin, Paul B. Kantor
ECBS
2003
IEEE
105views Hardware» more  ECBS 2003»
16 years 1 months ago
Panel: Extending UML from Software to Systems Engineering
“The Unified Modeling Language (UML) is a graphical language for visualizing, specifying, constructing, and documenting the artifacts of a softwareintensive system” [1]. This ...
Stephanie White, Murray Cantor, Sanford Friedentha...
208
Voted
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
16 years 29 days ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler