2810 search results - page 339 / 562 » Contract-Based Component System Design |
138
click to vote
TCAD
2008
15 years 3 months ago
2008
Safety-critical feedback-control applications may suffer faults in the controlled plant as well as in the execution platform, i.e., the controller. Control theorists design the con...
114
Voted
CLUSTER
2008
IEEE
15 years 9 months ago
2008
IEEE
—The industry is now in agreement that the future of architecture design lies in multiple cores. As a consequence, all computer systems today, from embedded devices to petascale ...
135
click to vote
CIKM
2003
Springer
15 years 8 months ago
2003
Springer
Currently, stream data processing is an active area of research, which includes everything from algorithms and architectures for stream processing to modelling and analysis of var...
134
click to vote
ISORC
2000
IEEE
15 years 7 months ago
2000
IEEE
We introduce Hybrid Sequence Charts (HySCs) as a visual description technique for communication in hybrid system models. To that end, we adapt a subset of the well-known MSC synta...
122
click to vote
CODES
2005
IEEE
15 years 8 months ago
2005
IEEE
The ability to continue increasing processor frequency and single thread performance is being severely limited by exponential increases in leakage and active power. To continue to...