652 search results - page 96 / 131 » A simulation framework for service-oriented computing system... |
109
click to vote
SIGPRO
2008
15 years 1 months ago
2008
The problem of the online identification of multi-input multi-output (MIMO) state-space models in the framework of discrete-time subspace methods is considered in this paper. Seve...
119
Voted
ARC
2010
Springer
15 years 2 months ago
2010
Springer
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...
115
click to vote
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
108
click to vote
ICRA
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper presents an approach to the problem of controlling the configuration of a team of mobile agents equipped with cameras so as to optimize the quality of the estimates de...
112
click to vote
ISORC
2000
IEEE
15 years 6 months ago
2000
IEEE
Distributed application programmers rely on middleware such as CORBA in order to handle the complexity that arises from the distributed and heterogeneous nature of the underlying ...