2810 search results - page 334 / 562 » Contract-Based Component System Design |
160
click to vote
MEMOCODE
2008
IEEE
15 years 9 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
105
click to vote
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
— This paper reports some recent analysis and modeling results obtained while developing a tele-robotic system for minimally invasive surgery of the throat. One of the main enabl...
118
click to vote
CODES
2004
IEEE
15 years 6 months ago
2004
IEEE
Separation between computation and communication in system design allows the system designer to explore the communication architecture independently of component selection and map...
137
click to vote
CASES
2005
ACM
15 years 5 months ago
2005
ACM
In this work, we propose and investigate the idea of enhancing a System-on-Chip (SoC) communication architecture (the fabric that integrates system components and carries the comm...
120
click to vote
NOSSDAV
2004
Springer
15 years 8 months ago
2004
Springer
— We present the design, implementation, and performance evaluation of AMPS — a flexible, scalable proxy testbed that supports a wide and extensible set of next-generation pro...