The following pages link to (Q4319638):
Displaying 50 items.
- Nearly optimal bounds for distributed wireless scheduling in the SINR model (Q287982) (← links)
- Compact separator decompositions in dynamic trees and applications to labeling schemes (Q352249) (← links)
- Verification of graph grammars using a logical approach (Q436370) (← links)
- Techniques for pipelined broadcast on Ethernet switched clusters (Q436793) (← links)
- Link scheduling in wireless sensor networks: distributed edge-coloring revisited (Q436862) (← links)
- Decomposition algorithms for data placement problem based on Lagrangian relaxation and randomized rounding (Q490221) (← links)
- Synchronization in federation community networks (Q666030) (← links)
- A CCS-based investigation of deadlock in a multi-process electronic mail system (Q688829) (← links)
- The paging drum queue: A uniform perspective and further results (Q792089) (← links)
- On single courier problem (Q941049) (← links)
- Performance analysis and functional verification of the stop-and-wait protocol in HOL (Q1040781) (← links)
- Information theoretic analysis for a general queueing system at equilibrium with application to queues in tandem (Q1067697) (← links)
- Performance analysis of a scheme for concurrency/synchronization using queueing network models (Q1091129) (← links)
- Reliable broadcasts and communication models: tradeoffs and lower bounds (Q1112599) (← links)
- A single server queue with gated processor-sharing discipline (Q1122881) (← links)
- Performance modeling and optimization of networks of bridged LANs (Q1176441) (← links)
- A unified set of proposals for control and design of high speed data networks (Q1176449) (← links)
- Performance modeling of heterogeneous data networks (Q1197754) (← links)
- On the communication complexity of polling (Q1350916) (← links)
- Continuous relaxation for discrete DC programming (Q1749451) (← links)
- Solving the degree-concentrated fault-tolerant spanning subgraph problem by DC programming (Q1749453) (← links)
- Specification and analysis of a composition of protocols (Q1801467) (← links)
- Interpreting message flow graphs (Q1904641) (← links)
- LiMoSense: live monitoring in dynamic sensor networks (Q2256962) (← links)
- Variable neighbourhood search for the minimum labelling Steiner tree problem (Q2267296) (← links)
- Refinement-oriented probability for CSP (Q2365393) (← links)
- Real time process algebra (Q2640341) (← links)
- A new password authentication mechanism based on two phases encryption (Q2780800) (← links)
- Characterising Testing Preorders for Broadcasting Distributed Systems (Q2811926) (← links)
- A Logical Approach to Data-Aware Automated Sequence Generation (Q2889859) (← links)
- Self avoiding paths routing algorithm in scale-free networks (Q2944678) (← links)
- Greedy Routing via Embedding Graphs onto Semi-metric Spaces (Q3004656) (← links)
- State Coverage Metrics for Specification-Based Testing with Büchi Automata (Q3012971) (← links)
- Explicit-State Model Checking (Q3176363) (← links)
- (Q3204023) (← links)
- Task assignment in distributed computing systems (Q3348381) (← links)
- Network modules help the identification of key transport routes, signaling pathways in cellular and other networks (Q3402312) (← links)
- (Q3486854) (← links)
- Combined capacity planning and concentrator location in computer communications networks (Q3496146) (← links)
- Developing Topology Discovery in Event-B (Q3605457) (← links)
- Generating all distributions of objects to bins (Q3615543) (← links)
- UNIVERSAL ROUTING AND PERFORMANCE ASSURANCE FOR DISTRIBUTED NETWORKS (Q3636561) (← links)
- Topological Design of Centralized Computer Networks (Q4368605) (← links)
- Two phases encryption and its applications (Q4406232) (← links)
- A Reliability and Performance Model For Static Data Flow Machines (Q4420092) (← links)
- THE CONTROL OF STARVATION (Q4732087) (← links)
- Design alternatives for wireless local area networks (Q4790766) (← links)
- Deterministic broadcasting in ad hoc radio networks (Q5138368) (← links)
- SYNTHESIS OF PIECEWISE-LINEAR CHAOTIC MAPS: INVARIANT DENSITIES, AUTOCORRELATIONS, AND SWITCHING (Q5322534) (← links)
- The influence of dependence on data network models (Q5387078) (← links)
