Sciweavers

2106 search results - page 137 / 422
» Specifying C concepts
Sort
View
USENIX
2001
15 years 7 months ago
Scwm: An Extensible Constraint-Enabled Window Manager
We desired a platform for researching advanced window layout paradigms including the use of constraints. Typical window management systems are written entirely in C or C++, compli...
Greg J. Badros, Jeffrey Nichols, Alan Borning
DM
2010
132views more  DM 2010»
15 years 6 months ago
Diameter and connectivity of 3-arc graphs
An arc of a graph is an oriented edge and a 3-arc is a 4-tuple (v, u, x, y) of vertices such that both (v, u, x) and (u, x, y) are paths of length two. The 3-arc graph of a given ...
Martin Knor, Sanming Zhou
CCR
2006
92views more  CCR 2006»
15 years 6 months ago
Flow labelled IP over ATM: design and rationale
We describe a system in which layer 2 switching is placed directly under the control of layer 3 routing protocols on a hop-by-hop basis. Specifically, ATM switching is controlled ...
Greg Minshall, Robert M. Hinden, Eric Hoffman, Fon...
SIGMETRICS
2011
ACM
139views Hardware» more  SIGMETRICS 2011»
14 years 8 months ago
Slick packets
Source-controlled routing has been proposed as a way to improve flexibility of future network architectures, as well as simplifying the data plane. However, if a packet specifie...
Giang T. K. Nguyen, Rachit Agarwal, Junda Liu, Mat...
DATE
2004
IEEE
138views Hardware» more  DATE 2004»
15 years 9 months ago
STEPS: Experimenting a New Software-Based Strategy for Testing SoCs Containing P1500-Compliant IP Cores
This paper presents STEPS, an innovative softwarebased approach for testing P1500-compliant SoCs. STEPS is based on the concept that the ATE is not considered as an initiator appl...
Mounir Benabdenbi, Alain Greiner, François ...