Sciweavers

606 search results - page 62 / 122
» A computable approach to measure and integration theory
Sort
View
EFDBS
2003
15 years 3 months ago
Implementing Mediators through Virtual Updateable Views
Mediators are considered basic architectural units for integration of distributed, heterogeneous information resources. In the paper we propose powerful virtual updateable views as...
Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz...
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
15 years 8 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
IJAR
2010
139views more  IJAR 2010»
14 years 11 months ago
Imprecise expectations for imprecise linear filtering
In the last 10 years, there has been increasing interest in interval valued data in signal processing. According to the conventional view, an interval value supposedly reflects th...
Agnès Rico, Olivier Strauss
ICSE
2008
IEEE-ACM
16 years 2 months ago
Clone detection in automotive model-based development
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from m...
Benjamin Hummel, Bernhard Schätz, Elmar J&uum...
ICCAD
1997
IEEE
112views Hardware» more  ICCAD 1997»
15 years 6 months ago
Circuit optimization via adjoint Lagrangians
The circuit tuning problem is best approached by means of gradient-based nonlinear optimization algorithms. For large circuits, gradient computation can be the bottleneck in the o...
Andrew R. Conn, Ruud A. Haring, Chandramouli Viswe...