2810 search results - page 438 / 562 » Contract-Based Component System Design |
185
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
239
click to vote
MJ
2011
15 years 1 months ago
2011
New tendencies envisage 2D/3D Multi-Processor System-On-Chip (MPSoC) as a promising solution for the consumer electronics market. MPSoCs are complex to design, as they must execute...
151
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
The ever increasing die area of Chip Multiprocessors (CMPs) affects manufacturing yield, resulting in higher manufacture cost. Meanwhile, network-on-chip (NoC) has emerged as a p...
200
click to vote
DAGSTUHL
1996
15 years 7 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...
166
click to vote
AROBOTS
2007
15 years 6 months ago
2007
— A team of small, low-cost robots instead of a single large, complex robot is useful in operations such as search and rescue, urban exploration etc. However, the performance of ...