3995 search results - page 319 / 799 » Model-Driven Design of Distributed Applications |
197
click to vote
IPPS
2002
IEEE
15 years 12 months ago
2002
IEEE
In the sub-micron technology era, wire delays are becoming much more important than gate delays, making it particularly attractive to go for clustered designs. A common form of cl...
161
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—Many important network design problems can be formulated as a combinatorial optimization problem. A large number of such problems, however, cannot readily be tackled by distribu...
153
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
The theory of latency insensitive design is presented as the foundation of a new correct by construction methodology to design very large digital systems by assembling blocks of In...
217
click to vote
ICDCN
2009
Springer
16 years 1 months ago
2009
Springer
The research community has witnessed a large interest in monitoring large scale distributed systems. In these applications typically we wish to monitor a global system condition wh...
185
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...