4615 search results - page 250 / 923 » Complex networks as control paradigm for complex systems |
201
click to vote
ADHOC
2010
15 years 3 months ago
2010
Each node in a wireless multi-hop network can adjust the power level at which it transmits and thus change the topology of the network to save energy by choosing the neighbors wit...
128
click to vote
DSD
2006
IEEE
16 years 19 days ago
2006
IEEE
The ModEasy project seeks to develop techniques and software tools to aid in the development of reliable microprocessor based electronic (embedded) systems using advanced developm...
178
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
193
click to vote
COOP
2004
15 years 8 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
218
click to vote
FGCS
2002
15 years 6 months ago
2002
Initial versions of MPI were designed to work efficiently on multi-processors which had very little job control and thus static process models. Subsequently forcing them to suppor...