Sciweavers

259 search results - page 9 / 52
» On Constraints for Path Computation in Multi-Layer Switched ...
Sort
View
SIMUTOOLS
2008
13 years 9 months ago
An OMNeT++ model for the evaluation of OBS routing strategies
Optical Burst Switching (OBS) has been proposed as a costeffective paradigm for supporting, with adequate flexibility, the increasingly high transmission capacity required by the ...
A. L. Barradas, M. C. R. Medeiros
NFM
2011
335views Formal Methods» more  NFM 2011»
13 years 2 months ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...
BROADNETS
2004
IEEE
13 years 11 months ago
Benefits of Link Protection at Connection Granularity
This paper develops a connection establishment framework for protecting connections against single-link failures using link protection at the granularity of a connection, referred...
Karthikeyan Sathyamurthy, Srinivasan Ramasubramani...
CLUSTER
2008
IEEE
14 years 2 months ago
Multistage switches are not crossbars: Effects of static routing in high-performance networks
Abstract—Multistage interconnection networks based on central switches are ubiquitous in high-performance computing. Applications and communication libraries typically make use o...
Torsten Hoefler, Timo Schneider, Andrew Lumsdaine
NETWORKING
2007
13 years 9 months ago
The Token Based Switch: Per-Packet Access Authorisation to Optical Shortcuts
Abstract. Our Token Based Switch (TBS) implementation shows that a packetbased admission control system can be used to dynamically select a fast end-to-end connection over a hybrid...
Mihai-Lucian Cristea, Leon Gommans, Li Xu, Herbert...