3676 search results - page 18 / 736 » Scalable component abstractions |
104
click to vote
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
TROB
2010
14 years 8 months ago
2010
Abstract—Modular robotic systems typically assemble using deterministic processes where modules are directly placed into their target position. By contrast, stochastic modular ro...
ENTCS
2007
14 years 9 months ago
2007
r introduces an abstract framework for the specification of components with multiple require and provide interfaces that allows the specification of multiple access to a single ...
60
Voted
CCGRID
2007
IEEE
15 years 4 months ago
2007
IEEE
We propose to address collective communications in distributed components through collective interfaces. Collective interfaces handle data distribution, parallelism and synchroniz...
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— The heterogeneity in the current and future multimedia environment requires an elegant adaptation framework for the production and consumption of different kinds of mul...