1269 search results - page 154 / 254 » Course on System Design (structural approach) |
ISSS
2002
IEEE
14 years 3 months ago
2002
IEEE
We present a system-level design and programming method for embedded multiprocessor systems. The aim of the method is to improve the design time and design quality by providing a ...
DSOM
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Object middleware is an enabling technology for distributed applications that are required to operate in heterogeneous computing and communication environments. Although ...
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
Game theory is emerging as a popular tool for distributed control of multiagent systems. In order to take advantage of these game theoretic tools the interactions of the autonomous...
ICFP
2009
ACM
14 years 10 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
ICIP
2003
IEEE
14 years 11 months ago
2003
IEEE
The ability to automatically detect `visually interesting' regions in an image has many practical applications especially in the design of active machine vision systems. This...