|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 390 occurrences of 284 keywords
|
|
|
Results
Found 429 publication records. Showing 429 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Hanna Klaudel, Franck Pommereau |
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 2001, 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings, pp. 204-223, 2001, Springer, 3-540-42252-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
parallel programming, Petri nets, semantics, Exceptions |
11 | Saverio Mascolo, Claudio Casetti, Mario Gerla, M. Y. Sanadidi, Ren Wang 0001 |
TCP westwood: Bandwidth estimation for enhanced transport over wireless links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiCom ![In: MOBICOM 2001, Proceedings of the seventh annual international conference on Mobile computing and networking, Rome, Italy, July 16-21, 2001., pp. 287-297, 2001, ACM, 1-58113-422-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
TCP/IP |
11 | Mahesh K. Marina, Samir Ranjan Das |
Performance of Route Caching Strategies in Dynamic Source Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 16-19 April 2001, Phoenix, AZ, USA, Proceedings, pp. 425-434, 2001, IEEE Computer Society, 0-7695-1080-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Irineu Sotoma, Edmundo R. M. Madeira |
DPCP (Discard Past Consider Present) -- A Novel Approach to Adaptive Fault Detection in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 31 October, 2 November 2001, Bologna, Italy, Proceedings, pp. 76-82, 2001, IEEE Computer Society, 0-7695-1384-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Mila E. Majster-Cederbaum, Jinzhao Wu |
Action Refinement for True Concurrent Real Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden, pp. 58-68, 2001, IEEE Computer Society, 0-7695-1159-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
timed event structure, timed process algebra, action refinement, true concurrency |
11 | G. Sai Kiran Reddy, C. Siva Ram Murthy, G. Manimaran |
Reconfiguration Based Failure Restoration in Wavelength-Routed WDM Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 25-28 June 2000, New York, NY, USA, pp. 543-552, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Failure restoration, Service disruption, Reconfiguration, Heuristic algorithms, Lightpath, WDM optical networks |
11 | Tajana Simunic, Luca Benini, Peter W. Glynn, Giovanni De Micheli |
Dynamic Power Management of Laptop Hard Disk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France, pp. 736, 2000, IEEE Computer Society / ACM, 0-7695-0537-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Tajana Simunic, Luca Benini, Peter W. Glynn, Giovanni De Micheli |
Dynamic power management for portable systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiCom ![In: MOBICOM 2000, Proceedings of the sixth annual international conference on Mobile computing and networking, Boston, MA, USA, August 6-11, 2000., pp. 11-19, 2000, ACM, 1-58113-197-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Yih-Chun Hu, David B. Johnson 0001 |
Caching strategies in on-demand routing protocols for wireless ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiCom ![In: MOBICOM 2000, Proceedings of the sixth annual international conference on Mobile computing and networking, Boston, MA, USA, August 6-11, 2000., pp. 231-242, 2000, ACM, 1-58113-197-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
11 | Haining Wang, Kang G. Shin, Hongjie Xin, Douglas S. Reeves |
A Simple Refinement of Slow-Start of TCP Congestion Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Fifth IEEE Symposium on Computers and Communications (ISCC 2000), 4-6 July 2000, Antibes, France, pp. 98-105, 2000, IEEE Computer Society, 0-7695-0722-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Congestion Control, TCP, Slow-start |
11 | Jon M. Kerridge, Peter H. Welch, David Wood |
Synchronization Primitives for Highly Parallel Discrete Event Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), January 5-8, 1999, Maui, Hawaii, USA, 1999, IEEE Computer Society, 0-7695-0001-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Alexander Ost, Boudewijn R. Haverkort |
Analysis of windowing mechanisms with infinite-state stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS Perform. Evaluation Rev. ![In: SIGMETRICS Perform. Evaluation Rev. 26(2), pp. 38-46, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
window flow control, congestion control, stochastic Petri nets, matrix-geometric methods |
11 | Sarantos Kapidakis, Sotirios Terzis, Jakka Sairamesh |
A Management Architecture for Measuring and Monitoring the Behavior of Digital Libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, Second European Conference, ECDL '98, Heraklion, Crete, Greece, September 21-23, 1998, Proceedings, pp. 95-114, 1998, Springer, 3-540-65101-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Pratyush Moghé, Michael H. Evengelista |
RAP-rate adaptive polling for network management applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: 1998 Network Operations and Management Symposium, NOMS 98, New Orleans, LA, USA, February 15-20, 1998. Proceedings, pp. 395-399, 1998, IEEE, 0-7803-4352-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Jitendra Padhye, Victor Firoiu, Donald F. Towsley, James F. Kurose |
Modeling TCP Throughput: A Simple Model and Its Empirical Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 1998 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, August 31 - September 4, 1998, Vancouver, B.C., Canada, pp. 303-314, 1998, ACM, 1-58113-003-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
TCP/IP |
11 | Oliver Suciu, Flaviu Cristian |
Evaluating the Performance of Group Membership Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 4th International Conference on Engineering of Complex Computer Systems (ICECCS '98), 10-14 August 1998, Monterey, CA, USA, pp. 13-23, 1998, IEEE Computer Society, 0-8186-8597-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Performance Evaluation, Fault-Tolerance, Distributed System, Performance Metric, Asynchronous System, Group Membership |
11 | Michel Raynal |
A Case Study of Agreement Problems in Distributed Systems: Non-Blocking Atomic Commitment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings, pp. 209-214, 1997, IEEE Computer Society, 0-8186-7971-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
Negative thinking by incremental problem solving: application to unate covering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1997 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1997, San Jose, CA, USA, November 9-13, 1997, pp. 91-98, 1997, IEEE Computer Society / ACM, 0-8186-8200-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
negative thinking, discrete optimization, covering problem |
11 | Ching-Chuan Chiang, Mario Gerla, Lixia Zhang 0001 |
Shared Tree Wireless Network Multicast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), September 22-25, 1997 Las Vegas, NV, USA, pp. 28-33, 1997, IEEE Computer Society, 0-8186-8186-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Hard state, Soft Stat, Clustering, Routing, Multicast, Multihop Wireless Networks |
11 | Daichi Funato, Kinuko Yasuda, Hideyuki Tokuda |
TCP-R: TCP mobility support for continuous operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: 1997 International Conference on Network Protocols (ICNP '97), 28-31 October 1997, Atlanta, GA, USA, pp. 229-, 1997, IEEE Computer Society, 0-8186-8061-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
TCP-R, TCP mobility support, continuous operation, TCP redirection, end-to-end mobility support, computational complexity, complexity, mobile environments, mobile computing environments, FreeBSD, IP address |
11 | John B. Carter, John K. Bennett, Willy Zwaenepoel |
Techniques for Reducing Consistency-Related Communication in Distributed Shared-Memory Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 13(3), pp. 205-243, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
cache consistency protocols, distributed shared memory, memory models, virtual shared memory, release consistency |
11 | Carlos Montez, Joni da Silva Fraga, Jean-Marie Farines, Olinto Furtado, Frank Siqueira |
A Programming Model for Real-Time Applications in Open Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), August 28-30, 1995, Chenju, Korea, Proceedings, pp. 104-111, 1995, IEEE Computer Society, 0-8186-7125-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
distributed systems, real-time systems, CORBA, reflection, open systems |
11 | Chim-fu Yeung, Sheung-lun Hung, Kam-yiu Lam |
Performance Evaluation of a New Distributed Deadlock Detection Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 23(3), pp. 21-26, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
11 | Randy Appleton |
Deadlock detection in a multidatabase. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 30th Annual Southeast Regional Conference, 1992, Raleigh, North Carolina, USA, April 8-10, 1992, pp. 269-276, 1992, ACM, 0-89791-506-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
11 | Peter B. Danzig, Katia Obraczka, Anant Kumar |
An Analysis of Wide-Area Name Server Traffic: A Study of the Internet Domain Name System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the Conference on Communications Architecture & Protocols, SIGCOMM 1992, Baltimore, Maryland, USA, August 17-20, 1992, pp. 281-292, 1992, ACM, 0-89791-525-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Internet |
11 | Tommaso Bolognesi, Ferdinando Lucidi |
Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 124-148, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
timed process algebra, timed Petri Net |
11 | Lixia Zhang |
Why TCP timers don't work well. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols, SIGCOMM 1986, Stowe, Vermont, United States, August 5-7, 1986, pp. 397-405, 1986, ACM, 0-89791-201-2. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
11 | Harry Rudin |
The Dimension of Time in Protocol Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking in Open Systems ![In: Networking in Open Systems, International Seminar, Oberlech, Austria, August 18-22, 1986, Proceedings, pp. 360-372, 1986, Springer, 3-540-17707-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
11 | Wolfgang Jürgensen, Son T. Vuong |
Formal specification and validation of ISO transport protocol components, using petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 14(2), pp. 75-82, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #429 of 429 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5] |
|