scientific article; zbMATH DE number 710624
From MaRDI portal
Publication:4319638
Recommendations
Cited in
(70)- Performance analysis and functional verification of the stop-and-wait protocol in HOL
- Information theoretic analysis for a general queueing system at equilibrium with application to queues in tandem
- Performance analysis of a scheme for concurrency/synchronization using queueing network models
- Reliable broadcasts and communication models: tradeoffs and lower bounds
- A single server queue with gated processor-sharing discipline
- Performance modeling and optimization of networks of bridged LANs
- A unified set of proposals for control and design of high speed data networks
- Performance modeling of heterogeneous data networks
- On the communication complexity of polling
- Continuous relaxation for discrete DC programming
- Solving the degree-concentrated fault-tolerant spanning subgraph problem by DC programming
- Specification and analysis of a composition of protocols
- Interpreting message flow graphs
- LiMoSense: live monitoring in dynamic sensor networks
- Variable neighbourhood search for the minimum labelling Steiner tree problem
- Refinement-oriented probability for CSP
- Real time process algebra
- scientific article; zbMATH DE number 1717219 (Why is no real title available?)
- A new password authentication mechanism based on two phases encryption
- Characterising testing preorders for broadcasting distributed systems
- A logical approach to data-aware automated sequence generation
- Self avoiding paths routing algorithm in scale-free networks
- Greedy Routing via Embedding Graphs onto Semi-metric Spaces
- State coverage metrics for specification-based testing with Büchi automata
- Explicit-state model checking
- scientific article; zbMATH DE number 4180770 (Why is no real title available?)
- Task assignment in distributed computing systems
- Network modules help the identification of key transport routes, signaling pathways in cellular and other networks
- Communication and networking. An introduction
- Networks and Grids Technology and Theory
- scientific article; zbMATH DE number 4160102 (Why is no real title available?)
- Combined capacity planning and concentrator location in computer communications networks
- Computer networks. The top-down approach.
- Compact separator decompositions in dynamic trees and applications to labeling schemes
- Developing Topology Discovery in Event-B
- Generating all distributions of objects to bins
- UNIVERSAL ROUTING AND PERFORMANCE ASSURANCE FOR DISTRIBUTED NETWORKS
- scientific article; zbMATH DE number 193597 (Why is no real title available?)
- Verification of graph grammars using a logical approach
- Techniques for pipelined broadcast on Ethernet switched clusters
- Topological Design of Centralized Computer Networks
- Link scheduling in wireless sensor networks: distributed edge-coloring revisited
- scientific article; zbMATH DE number 1179115 (Why is no real title available?)
- scientific article; zbMATH DE number 1179117 (Why is no real title available?)
- Two phases encryption and its applications
- A Reliability and Performance Model For Static Data Flow Machines
- Communications and networking. An introduction.
- scientific article; zbMATH DE number 1483018 (Why is no real title available?)
- scientific article; zbMATH DE number 945290 (Why is no real title available?)
- THE CONTROL OF STARVATION
- scientific article; zbMATH DE number 1821674 (Why is no real title available?)
- Design alternatives for wireless local area networks
- scientific article; zbMATH DE number 878456 (Why is no real title available?)
- Decomposition algorithms for data placement problem based on Lagrangian relaxation and randomized rounding
- Computer networks. A systems approach
- Deterministic broadcasting in ad hoc radio networks
- scientific article; zbMATH DE number 225507 (Why is no real title available?)
- SYNTHESIS OF PIECEWISE-LINEAR CHAOTIC MAPS: INVARIANT DENSITIES, AUTOCORRELATIONS, AND SWITCHING
- The influence of dependence on data network models
- Computer networks
- scientific article; zbMATH DE number 964545 (Why is no real title available?)
- scientific article; zbMATH DE number 964570 (Why is no real title available?)
- scientific article; zbMATH DE number 4189174 (Why is no real title available?)
- Distribution of distinguishable objects to bins: generating all distributions
- Networks
- Intra-domain traffic engineering with shortest path routing protocols
- Synchronization in federation community networks
- A CCS-based investigation of deadlock in a multi-process electronic mail system
- The paging drum queue: A uniform perspective and further results
- On single courier problem
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4319638)