Using message passing for distributed programming: proof rules and disciplines
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lower Bounds for Distributed Maximum-Finding Algorithms
Journal of the ACM (JACM)
An algorithm for concurrency control and recovery in replicated distributed databases
ACM Transactions on Database Systems (TODS)
Query optimization on local area networks
ACM Transactions on Information Systems (TOIS)
Optimistic recovery in distributed systems
ACM Transactions on Computer Systems (TOCS)
Counting nodes in binary trees
SIGCSE '86 Proceedings of the seventeenth SIGCSE technical symposium on Computer science education
4.2BSD and 4.3BSD as examples of the UNIX system
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Communications of the ACM
A model for naming, addressing and routing
ACM Transactions on Information Systems (TOIS)
The synthesis of communication protocols
PODC '86 Proceedings of the fifth annual ACM symposium on Principles of distributed computing
A message-based fault diagnosis procedure
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Data flow graph partitioning to reduce communication cost
MICRO 19 Proceedings of the 19th annual workshop on Microprogramming
On the stability of the Ethernet
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Estimating the multiplicities of conflicts to speed their resolution in multiple access channels
Journal of the ACM (JACM)
A manager's guide to integrated services digital network
ACM SIGMIS Database
Analysis of the resequencing delay for M/M/m systems
SIGMETRICS '87 Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Networking elements in a files course
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
Laboratories for an undergraduate course in data communications and networks
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
Self-assessment procedure XVIII: fundamentals of data communications
Communications of the ACM
Stability of binary exponential backoff
Journal of the ACM (JACM)
ACM Transactions on Information Systems (TOIS)
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Optical interconnection using ShuffleNet multihop networks in multi-connected ring topologies
SIGCOMM '88 Symposium proceedings on Communications architectures and protocols
Communication/computation paradigms for hypercubes
C3P Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues - Volume 1
The power of multimedia: combining point-to point and multi-access networks
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
Data link layer: two impossibility results
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
A robust protocol for parallel join operation in distributed data bases
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Computation of cyclic redundancy checks via table look-up
Communications of the ACM
Preserving and using context information in interprocess communication
ACM Transactions on Computer Systems (TOCS)
An undergraduate concentration in networking and distributed systems
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Low-cost networks and gateways for teaching data communications
SIGCSE '89 Proceedings of the twentieth SIGCSE technical symposium on Computer science education
Source to destination communication in the presence of faults
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Fast isolation of arbitrary forwarding faults
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Compact distributed data structures for adaptive routing
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Some issues in providing campus-wide electronic mail
SIGUCCS '89 Proceedings of the 17th annual ACM SIGUCCS conference on User Services
A high speed transport protocol for datagram/virtual circuit networks
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
A new responsive distributed shortest-path rounting algorithm
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
Retrieving highly dynamic widely distributed information
SIGIR '89 Proceedings of the 12th annual international ACM SIGIR conference on Research and development in information retrieval
Evaluation of retransmission strategies in a local area network environment
SIGMETRICS '89 Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Dynamic distributed query processing techniques
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Communication in iWarp systems
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
ACM Computing Surveys (CSUR)
A modular technique for the design of efficient distributed leader finding algorithms
ACM Transactions on Programming Languages and Systems (TOPLAS)
The next generation of internetworking
ACM SIGCOMM Computer Communication Review
Implication of the guaranteed, reliable, secure broadcast technology to office information systems
COCS '90 Proceedings of the ACM SIGOIS and IEEE CS TC-OA conference on Office information systems
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
A quantitative approach to dynamic networks
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Tight bounds for weakly bounded protocols
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Simultaneous analysis of flow and error control strategies with congestion-dependent errors
SIGMETRICS '90 Proceedings of the 1990 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Dynamic adaptive windows for high speed data networks: theory and simulations
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
Reliable broadband communication using a burst erasure correcting code
SIGCOMM '90 Proceedings of the ACM symposium on Communications architectures & protocols
Communication with directed logic variables
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The implementation of guaranteed, reliable, secure broadcast networks
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Understanding fault-tolerant distributed systems
Communications of the ACM
Paradigms for process interaction in distributed programs
ACM Computing Surveys (CSUR)
Management of a remote backup copy for disaster recovery
ACM Transactions on Database Systems (TODS)
An efficient and fault-tolerant solution for distributed mutual exclusion
ACM Transactions on Computer Systems (TOCS)
The Imposition of Protocols Over Open Distributed Systems
IEEE Transactions on Software Engineering
A software project for a data communication course
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
VNET: a tool for teaching computer networking to undergraduates
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
A network specification language and execution environment for undergraduate teaching
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
The design of an inexpensive undergraduate data communications laboratory
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Greedy packet scheduling on shortest paths (preliminary version)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Hardware flooding (preliminary version)
SIGCOMM '91 Proceedings of the conference on Communications architecture & protocols
Network locality at the scale of processes
SIGCOMM '91 Proceedings of the conference on Communications architecture & protocols
Pascal with internet primitives for pedagogy
ACM SIGCSE Bulletin
A dynamic network architecture
ACM Transactions on Computer Systems (TOCS)
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Simulation of communications architecture specifications using Prolog
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Media transports and distributed multimedia flows
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Load balanced deadlock-free deterministic routing of arbitrary networks
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Strategies for distributed search
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
MTR: a modified token ring protocol and its performance
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Parallel Computing Optimization in the Apollo Domain Network
IEEE Transactions on Software Engineering
The design and implementation of hierarchical software systems with reusable components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Programming-in-the-large: past, present, and future
ICSE '92 Proceedings of the 14th international conference on Software engineering
APL2 implementation of cross-system shared variables
APL '92 Proceedings of the international conference on APL
Scheduling algorithms for multi-hop radio networks
SIGCOMM '92 Conference proceedings on Communications architectures & protocols
The intractability of bounded protocols for on-line sequence transmission over non-FIFO channels
Journal of the ACM (JACM)
Object-oriented simulation of CSMA protocols
ACM SIGSMALL/PC Notes
Scheduling algorithms for multihop radio networks
IEEE/ACM Transactions on Networking (TON)
A credit manager for traffic regulation in high-speed networks: a queueing analysis
IEEE/ACM Transactions on Networking (TON)
Models of machines and computation for mapping in multicomputers
ACM Computing Surveys (CSUR)
Distributed search for cooperative applications
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
The process group approach to reliable distributed computing
Communications of the ACM
An Ω(D log(N/D)) lower bound for broadcast in radio networks
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Fault detection in an Ethernet network using anomaly signature matching
SIGCOMM '93 Conference proceedings on Communications architectures, protocols and applications
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
A particular solution to provide secure communications in an Ethernet environment
CCS '93 Proceedings of the 1st ACM conference on Computer and communications security
The impossibility of implementing reliable communication in the face of crashes
Journal of the ACM (JACM)
A formalism for specifying communicating processes
CSC '93 Proceedings of the 1993 ACM conference on Computer science
A Simple Distributed Loop-Free Routing Strategy for Computer Communication Networks
IEEE Transactions on Parallel and Distributed Systems
Feedback control of congestion in packet switching networks: the case of a single congested node
IEEE/ACM Transactions on Networking (TON)
Link set sizing for networks supporting SMDS
IEEE/ACM Transactions on Networking (TON)
The interdisciplinary study of coordination
ACM Computing Surveys (CSUR)
Lightwave networks based on de Bruijn graphs
IEEE/ACM Transactions on Networking (TON)
Reliable and efficient hop-by-hop flow control
SIGCOMM '94 Proceedings of the conference on Communications architectures, protocols and applications
NetCp—a project environment for an undergraduate computer networks course
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
SIGDOC '94 Proceedings of the 12th annual international conference on Systems documentation: technical communications at the great divide
Automated assistance for the telemeeting lifecycle
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Reliable communication over unreliable channels
Journal of the ACM (JACM)
Clock period optimization during resource sharing and assignment
DAC '94 Proceedings of the 31st annual Design Automation Conference
Performance analysis and optimization of schedules for conditional and loop-intensive specifications
DAC '94 Proceedings of the 31st annual Design Automation Conference
Self-stabilization by counter flushing
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Scheduling of behavioral VHDL by retiming techniques
EURO-DAC '94 Proceedings of the conference on European design automation
An (N -1)-Resilient Algorithm for Distributed Termination Detection
IEEE Transactions on Parallel and Distributed Systems
Selection of timed token protocol parameters to guarantee message deadlines
IEEE/ACM Transactions on Networking (TON)
Recoverable sequence transmission protocols
Journal of the ACM (JACM)
A dual bus approach for LAN interworking with ATM networks
ACM SIGCOMM Computer Communication Review
Multimedia backroads (panel): low bandwidth implementations
Proceedings of the third ACM international conference on Multimedia
ROMM routing on mesh and torus networks
Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures
Trading packet headers for packet processing
SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
Data link switching: present and future
IBM Systems Journal
Airdisks and airRAID (expanded extract): modeling and scheduling periodic wireless data broadcast
ACM SIGARCH Computer Architecture News
High performance messaging on workstations: Illinois fast messages (FM) for Myrinet
Supercomputing '95 Proceedings of the 1995 ACM/IEEE conference on Supercomputing
Trading packet headers for packet processing
IEEE/ACM Transactions on Networking (TON)
Code assignment for hidden terminal interference avoidance in multihop packet radio networks
IEEE/ACM Transactions on Networking (TON)
On the hardness of approximating optimum schedule problems in store and forward networks
IEEE/ACM Transactions on Networking (TON)
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Customized information extraction as a basis for resource discovery
ACM Transactions on Computer Systems (TOCS)
Scheduling Soft Real-Time Jobs Over Dual Non-Real-Time Servers
IEEE Transactions on Parallel and Distributed Systems
Web server workload characterization: the search for invariants
Proceedings of the 1996 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Comments on “Minimum-latency transport protocols with modulo-N incarnation numbers”
IEEE/ACM Transactions on Networking (TON)
Creating host compliance in a portable framework: a study in the reuse of design patterns
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A computer science undergraduate specialization in telecommunications and computer networking
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
User-level distributed file systems projects
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
IEEE Transactions on Parallel and Distributed Systems
Concurrency theory will set standards for description and analysis of software
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Security considerations for active messages
ACM SIGICE Bulletin
Self-stabilization by window washing
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Crash failures can drive protocols to arbitrary states
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Simulation and design in an object-oriented world: a methodology for large software systems
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Dynamics of random early detection
SIGCOMM '97 Proceedings of the ACM SIGCOMM '97 conference on Applications, technologies, architectures, and protocols for computer communication
An efficient ILP-based scheduling algorithm for control-dominated VHDL descriptions
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Adaptive flow control in time warp
Proceedings of the eleventh workshop on Parallel and distributed simulation
A protocol for causally ordered message delivery in mobile computing systems
Mobile Networks and Applications - Special issue on personal communications services
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
Broadcasting, multicasting and gossiping in trees under the all-port line model
Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures
A Performance Evaluation of the Convex SPP-1000 Scalable Shared Memory Parallel Computer
Supercomputing '95 Proceedings of the 1995 ACM/IEEE conference on Supercomputing
Interaction and modeling techniques for desktop two-handed input
Proceedings of the 11th annual ACM symposium on User interface software and technology
Effects of resource sharing on circuit delay: an assignment algorithm for clock period optimization
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Garbage collecting the Internet: a survey of distributed garbage collection
ACM Computing Surveys (CSUR)
A fair protocol for fast resource assignment in wireless PCS networks
Wireless Networks
Data-valued partitioning and virtual messages (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The simulation of the non-linear dynamic behavior of distributed routing networks using DECSIM
WSC '91 Proceedings of the 23rd conference on Winter simulation
Generic approach to LAN modeling
WSC '91 Proceedings of the 23rd conference on Winter simulation
Interconnected ring networks: a performance study
WSC '91 Proceedings of the 23rd conference on Winter simulation
WSC '91 Proceedings of the 23rd conference on Winter simulation
Quality of service over Ethernet for telelearning applications
ITiCSE '99 Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education
Simulation of a DQDB MAC protocol with movable boundary and bandwidth balancing mechanisms
ANSS '92 Proceedings of the 25th annual symposium on Simulation
The effect of inter-PE communication network configuration on the performance of array computers
ANSS '92 Proceedings of the 25th annual symposium on Simulation
Consistent overhead Byte stuffing
IEEE/ACM Transactions on Networking (TON)
Fast broadcast in high-speed networks
IEEE/ACM Transactions on Networking (TON)
Experimental evaluation of throughput performance of IRTCP under noisy channels
WOWMOM '99 Proceedings of the 2nd ACM international workshop on Wireless mobile multimedia
Computation in noisy radio networks
Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms
Distributed games: from mechanisms to protocols
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
A front-end process for fault tolerant distributed systems
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Fuzzy routing control of service request messages in an individual computing environment
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Symbolic Verification of Communication Protocols with Infinite StateSpaces using QDDs
Formal Methods in System Design
Symbolic Protocol Verification with Queue BDDs
Formal Methods in System Design
Simulation & design of message routing systems for network of transputers
ANSS '89 Proceedings of the 22nd annual symposium on Simulation
SIGMETRICS '85 Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems
An analytic model of the hyperchannel network using multiple channel architecture
SIGMETRICS '85 Proceedings of the 1985 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Knowledge-based design of LANs using system entity structure concepts
WSC '86 Proceedings of the 18th conference on Winter simulation
Constraint-driven generation of model structures
WSC '87 Proceedings of the 19th conference on Winter simulation
Protocols for large data transfers over local networks
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
Modeling physical layer protocols using communicating finite state machines
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
A new method for topological design in large, traffic laden packet switched networks
SIGCOMM '85 Proceedings of the ninth symposium on Data communications
Requirements analysis using Petri nets
ACM '85 Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective
Packet voice communicatins over PC based local area networks
Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems
On solving large maximum concurrent flow problems
CSC '87 Proceedings of the 15th annual conference on Computer Science
A layered networking protocol designed to minimize complexity
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
On a Lightwave Network Topology Using Kautz Digraphs
IEEE Transactions on Computers
Fast distributed agreement (preliminary version)
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
A modular technique for the design of efficient distributed leader finding algorithms
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Architecture of a fiber optics based distributed information network fortis: local area network
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Generating a deterministic task migration path for multiprocessor scheduling
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Security considerations for active messages
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
A matter of degree: improved approximation algorithms for degree-bounded minimum spanning trees
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Analysis of congestion control mechanisms in an intelligent network
International Journal of Network Management
Architecture, design, and implementation of a multimedia conference system
International Journal of Network Management
Proceedings of the 37th Annual Design Automation Conference
The Journal of Supercomputing
The wakeup problem in synchronous broadcast systems (extended abstract)
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
ACM Computing Surveys (CSUR)
ACM Transactions on Computer Systems (TOCS)
Network traffic tracking systems: folly in the large?
Proceedings of the 2000 workshop on New security paradigms
An area/time optimizing algorithm in high-level synthesis for control-based hardwares (short paper)
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Software architecture attributes of multi-agent systems
First international workshop, AOSE 2000 on Agent-oriented software engineering
Analysis of Timed Systems Using Time-Abstracting Bisimulations
Formal Methods in System Design
The state of the art in distributed query processing
ACM Computing Surveys (CSUR)
LOTTERYBUS: a new high-performance communication architecture for system-on-chip designs
Proceedings of the 38th annual Design Automation Conference
A mixed-integer programming model for the cellular telecommunication network design
DIALM '01 Proceedings of the 5th international workshop on Discrete algorithms and methods for mobile computing and communications
A transmission control scheme for media access in sensor networks
Proceedings of the 7th annual international conference on Mobile computing and networking
A scalable and flexible data synchronization scheme for embedded HW-SW shared-memory systems
Proceedings of the 14th international symposium on Systems synthesis
Heuristic authentication protocol for TCP/IP network applications under UNIX
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Some practical considerations in the design of local computer networks
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
Programming language support for replication in fault-tolerant distributed systems
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
Polynets: providing reliable communications for distributed systems
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
Efficient and User-Friendly Verification
IEEE Transactions on Computers
Memory optimization in single chip network switch fabrics
Proceedings of the 39th annual Design Automation Conference
System design methodologies for a wireless security processing platform
Proceedings of the 39th annual Design Automation Conference
Static and dynamic low-congested interval routing schemes
Theoretical Computer Science
Quick-tests for characterizing distributed systems
ACM SIGAPP Applied Computing Review
Two Auction-Based Protocols for Fair and Fast Resource Assignment in Wireless PCS
Wireless Personal Communications: An International Journal
Autoconfiguration for IP Networking: Enabling Local Communication
IEEE Internet Computing
Adaptive Routing for Dynamic Applications in Massively Parallel Architectures
IEEE Parallel & Distributed Technology: Systems & Technology
An Improved Method for Constructing Multiphase Communications Protocols
IEEE Transactions on Computers
Election in Asynchronous Complete Networks with Intermittent Link Failures
IEEE Transactions on Computers
IEEE Transactions on Parallel and Distributed Systems
Deadlock-Free Adaptive Routing in Multicomputer Networks Using Virtual Channels
IEEE Transactions on Parallel and Distributed Systems
The Impact of Pipelined Channels on k-ary n-Cube Networks
IEEE Transactions on Parallel and Distributed Systems
Aggressive Transmissions of Short Messages Over Redundant Paths
IEEE Transactions on Parallel and Distributed Systems
A Decomposition Algorithm for Optimal Static Load Balancing in Tree Hierarchy Network Configurations
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Software Engineering
CSDL: A Language for Cooperative Systems Design
IEEE Transactions on Software Engineering
Trade-off results for connection management
Theoretical Computer Science
Join and Data Redistribution Algorithms for Hypercubes
IEEE Transactions on Knowledge and Data Engineering
A Network Level Channel Abstraction for Multimedia Communication in Real-Time Networks
IEEE Transactions on Knowledge and Data Engineering
Design and Performance Evaluation Considerations of a Multimedia Medical Database
IEEE Transactions on Knowledge and Data Engineering
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems
IEEE Transactions on Knowledge and Data Engineering
TOGA - A Customizable Service for Data-Centric Collaboration
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
Compositional Message Sequence Charts
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Formal Specification and Validation of a Vital Communication Protocol
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Channel Assignment with Separation for Interference Avoidance in Wireless Networks
IEEE Transactions on Parallel and Distributed Systems
The loosely-synchronous transfer mode
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Symbolic Protocol Verification with Queue BDDs
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Temporal verification of carrier-sense local area network protocols
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Internetting between VAX and Apollo ring network
SIGCOMM '83 Proceedings of the eighth symposium on Data communications
Controlling window protocols for time-constrained communication in a multiple access environment
SIGCOMM '83 Proceedings of the eighth symposium on Data communications
Analysis of reliable broadcast in local-area networks
SIGCOMM '83 Proceedings of the eighth symposium on Data communications
Prioritizing packet transmission in local multiaccess networks
SIGCOMM '83 Proceedings of the eighth symposium on Data communications
Performance models of token ring local area networks
SIGMETRICS '83 Proceedings of the 1983 ACM SIGMETRICS conference on Measurement and modeling of computer systems
A network interface unit simulation using micro passim
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
Routing table update epoch in packet-switching networks
WSC '83 Proceedings of the 15th conference on Winter simulation - Volume 1
Duplication of packets and their detection in X.25 communication protocols
ISCA '82 Proceedings of the 9th annual symposium on Computer Architecture
Automatic update of replicated topology data bases
SIGCOMM '84 Proceedings of the ACM SIGCOMM symposium on Communications architectures and protocols: tutorials & symposium
On the time complexity of broadcast communication schemes (Preliminary Version)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
RM: A resource-sharing system for personal computers
SIGSMALL '83 Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers
SIGSMALL '83 Proceedings of the 1983 ACM SIGSMALL symposium on Personal and small computers
Distributed allocation with pools of servers
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
SODA: A simplified operating system for distributed applications
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Distributed elections in an archimedean ring of processors
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Topological optimization of an integrated circuit/packet-switched computer network
WSC '84 Proceedings of the 16th conference on Winter simulation
A causal message ordering scheme for distributed embedded real-time systems
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
Dynamic Global Packet Routing in Wireless Networks
INFOCOM '97 Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution
Data propagation as an enabling technology for collaboration and cooperative information systems
Computers in Industry - Special issue: Knowledge sharing in collaborative design environments
Isochronets: an architecture for high-speed networks
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Light-weight multicast services (LMS): a router-assisted scheme for reliable multicast
IEEE/ACM Transactions on Networking (TON)
Invariants: a new design methodology for network architectures
Proceedings of the ACM SIGCOMM workshop on Future directions in network architecture
Anonymous Wireless Authentication on a Portable Cellular Mobile System
IEEE Transactions on Computers
Robustness of Q-ary collision resolution algorithms in random access systems
Performance Evaluation
A model for the management of dynamic web applications
ICEC '04 Proceedings of the 6th international conference on Electronic commerce
Asynchronous transfer mode (ATM)
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Experiences creating three implementations of the repast agent modeling toolkit
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Stochastic Object-Based Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
A Network Teaching Tool For Visualizing And Analyzing Routing Protocols
Journal of Integrated Design & Process Science
The impact of software radio on wireless networking
ACM SIGMOBILE Mobile Computing and Communications Review
Cross-layer adaptive modulation and coding design for space-time block coded MIMO-OFDM systems
Computer Communications
Performance Issues in Optical Burst/Packet Switching
Towards Digital Optical Networks
An entropy-constrained algorithm for routing of communication networks
Computer Communications
Discrete Particle Swarm Optimization for the minimum labelling Steiner tree problem
Natural Computing: an international journal
Iterative software engineering for multiagent systems: the MASSIVE method
Iterative software engineering for multiagent systems: the MASSIVE method
The regularity principle of self-management
Proceedings of the second international workshop on Self-organizing architectures
Medium access control signaling for reliable spectrum agile radios
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
Fundamenta Informaticae - Understanding Computers' Intelligence Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena Rasiowa
On a scalable topology for lightwave networks
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 2
The Lotterybus on-chip communication architecture
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
IT support for healthcare processes
BPM'05 Proceedings of the 3rd international conference on Business Process Management
On-Line learning of decision trees in problems with unknown dynamics
MICAI'05 Proceedings of the 4th Mexican international conference on Advances in Artificial Intelligence
Delay pools-based uninterrupted and dynamic bandwidth distribution of Squid proxy cache
Proceedings of the 2012 Joint International Conference on Human-Centered Computer Environments
Information management in distributed healthcare networks
Data Management in a Connected World
Specification guidelines to avoid the state space explosion problem
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Framework of a flexible computer communication network
Computer Communications
An overview of routing methods in optical burst switching networks
Optical Switching and Networking
On the optimal allocation of customers that must depart in sequence
Operations Research Letters
Computer Networks: The International Journal of Computer and Telecommunications Networking
A characteristics framework for Semantic Information Systems Standards
Information Systems and e-Business Management
A simple survey of knowledge plane approaches for future cognitive wireless networks
International Journal of Mobile Network Design and Innovation
Quantitative information flow in interactive systems
Journal of Computer Security - ARSPA-WITS'10
Hi-index | 0.10 |