Sciweavers

3116 search results - page 81 / 624
» Design and implementation of network puzzles
Sort
View
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 5 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
ICAC
2009
IEEE
15 years 6 months ago
Knowledge delivery mechanism for autonomic overlay network management
The complexity of current computing networks and the required fluidity of their operation requires autonomy to be central to the design and implementation of a managed overlay net...
Dominic Jones, John Keeney, David Lewis, Declan O'...
ECOOPW
1999
Springer
15 years 4 months ago
Security in Active Networks
The desire for exible networking services has given rise to the concept of active networks." Active networks provide a general framework for designing and implementing network...
D. Scott Alexander, William A. Arbaugh, Angelos D....
ICPP
2006
IEEE
15 years 6 months ago
Designing Multithreaded Algorithms for Breadth-First Search and st-connectivity on the Cray MTA-2
stractions are extensively used to understand and solve challenging computational problems in various scientific and engineering domains. They have particularly gained prominence...
David A. Bader, Kamesh Madduri
IPPS
2000
IEEE
15 years 4 months ago
Micro-Architectures of High Performance, Multi-User System Area Network Interface Cards
This paper examines two Network Interface Card microarchitectures that support low latency, high bandwidth userlevel message passing in multi-user environments. The two are at dif...
Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind