1426 search results - page 126 / 286 » A control-based framework for self-managing distributed comp... |
124
click to vote
MM
2005
ACM
15 years 8 months ago
2005
ACM
Large-scale distributed video surveillance systems pose new scalability challenges. Due to the large number of video sources in such systems, the amount of bandwidth required to t...
120
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
The increasing size and complexity of high-performance applications have motivated a new round of innovation related to configuration, build, and launch of applications for large ...
126
click to vote
ASM
2005
ASM
15 years 8 months ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
115
click to vote
LPAR
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. The calculus of structures is a framework for specifying logical systems, which is similar to the one-sided sequent calculus but more general. We present a system of infe...
130
click to vote
ACSD
2007
IEEE
15 years 9 months ago
2007
IEEE
Modern multiprocessor embedded systems execute a large number of tasks on shared processors and handle their complex communications on shared communication networks. Traditional m...