Sciweavers

12742 search results - page 222 / 2549
» On canonical number systems
Sort
View
ISSS
1995
IEEE
59views Hardware» more  ISSS 1995»
15 years 10 months ago
Multiple-process behavioral synthesis for mixed hardware-software systems
Systems composed of microprocessors interacting with ASICs are necessarily multiple-process systems, since the controller in the microprocessor is separate from any controllers on...
Jay K. Adams, Donald E. Thomas
CDC
2008
IEEE
161views Control Systems» more  CDC 2008»
15 years 8 months ago
A fast algorithm to compute the controllability, decentralized fixed-mode, and minimum-phase radius of LTI systems
In this paper, an efficient algorithm is presented for solving the 2-D optimization problem which is associated with computing the robustness measures of a number of linear time-in...
Simon Lam, Edward J. Davison
PDSE
1998
103views more  PDSE 1998»
15 years 8 months ago
Towards a Framework for Testing Distributed Multimedia Software Systems
With the advancement in network speed and computing power; distributed multimedia applications are becoming populal: However;generalprinciples of system testing cannot be directly...
Jelena V. Misic, Samuel T. Chanson, Shing-Chi Cheu...
AUTOMATICA
2002
95views more  AUTOMATICA 2002»
15 years 6 months ago
Series expansions for analytic systems linear in control
This paper presents a series expansion for the evolution of a class of nonlinear systems characterized by constant input vector fields. We present a series expansion that can be c...
Francesco Bullo
ICSE
2009
IEEE-ACM
16 years 1 months ago
Towards safety guarantees for service-oriented systems
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
Basil Becker