|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11615 occurrences of 5123 keywords
|
|
|
Results
Found 25819 publication records. Showing 25819 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
58 | Xueyi Wang, Jiajun Bu, Chun Chen 0001 |
Research on Reliable Communication in Real-Time Collaborative Designing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCW ![In: Distributed Communities on the Web, 4th International Workshop, DCW 2002, Sydney, Australia, April 3-5, 2002, Revised Papers, pp. 42-53, 2002, Springer, 3-540-00301-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
real-time collaborative design, reliable communication architecture, Site-based Reliable Communication Protocol (SRCP), CSCW |
51 | Taosong He, Lichan Hong, Dongqing Chen, Zhengrong Liang |
Reliable Path for Virtual Endoscopy: Ensuring Complete Examination of Human Organs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 7(4), pp. 333-342, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Virtual endscopy, reliable path, reliable navigation, NP-complete, visibility, camera control |
48 | Yuan Gao, Ye Ge, Jennifer C. Hou |
RMCM: Reliable Multicasts for Core-based Multicast Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNP ![In: Eighth Annual International Conference on Network Protocols, ICNP 2000, 14-17 November, 2000, Osaka, Japan, pp. 83-94, 2000, IEEE Computer Society, 0-7695-0921-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
core-based multicast trees, RMCM, multicast applications, on-tree router, core-based tree, retransmission request, optimal recovery, turning point approach, IP options, group membership changes, repliers, delayed ACK approach, repair-based reliable multicast, NAK implosion control, recovery latency, recovery isolation, FreeBSD 2.2.8, Internet, Internet, transport protocols, packet switching, network topology, digital simulation, trees (mathematics), telecommunication network routing, multicast communication, reliable multicasts, event-driven simulation, topology changes, local recovery, data packets, hosts |
42 | Bhavani Shankar, Prasant Gopal, Kannan Srinathan, C. Pandu Rangan |
Unconditionally reliable message transmission in directed networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2008, San Francisco, California, USA, January 20-22, 2008, pp. 1048-1055, 2008, SIAM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
39 | Nipoon Malhotra, Shrish Ranjan, Saurabh Bagchi |
LRRM: A Randomized Reliable Multicast Protocol for Optimizing Recovery Latency and Buffer Utilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005),26-28 October 2005, Orlando, FL, USA, pp. 215-225, 2005, IEEE Computer Society, 0-7695-2463-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Recovery latency, Tree-based multicast protocols, Reliable multicast, Randomized protocols, Buffer utilization |
39 | Öznur Özkasap, Zülküf Genç, Emre Atsan |
Epidemic-based approaches for reliable multicast in mobile ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 40(3), pp. 73-79, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
adaptive, mobile ad hoc networks, reliable multicast, epidemic |
39 | Kulpreet Singh, Andronikos Nedos, Gregor Gärtner, Siobhán Clarke |
Message Stability and Reliable Broadcasts in Mobile Ad-Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHOC-NOW ![In: Ad-Hoc, Mobile, and Wireless Networks, 4th International Conference, ADHOC-NOW 2005, Cancun, Mexico, October 6-8, 2005, Proceedings, pp. 297-310, 2005, Springer, 3-540-29132-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
message stability, MANET, reliable broadcast |
39 | Yogesh Sankarasubramaniam, Özgür B. Akan, Ian F. Akyildiz |
ESRT: event-to-sink reliable transport in wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiHoc ![In: Proceedings of the 4th ACM Interational Symposium on Mobile Ad Hoc Networking and Computing, MobiHoc 2003, Annapolis, Maryland, USA, June 1-3, 2003, pp. 177-188, 2003, ACM, 1-58113-684-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
event-to-sink reliability, wireless sensor networks, congestion control, energy conservation, reliable transport protocols |
36 | Ahmet Aris, Sema F. Oktug, Thiemo Voigt |
Security of Internet of Things for a Reliable Internet of Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autonomous Control for a Reliable Internet of Services ![In: Autonomous Control for a Reliable Internet of Services - Methods, Models, Approaches, Techniques, Algorithms, and Tools, pp. 337-370, 2018, Springer, 978-3-319-90414-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Rob van der Mei, Hans van den Berg, Ivan Ganchev, Kurt Tutschku, Philipp Leitner 0001, Pasi E. Lassila, Wojciech Burakowski, Fidel Liberal, Åke Arvidsson, Tobias Hoßfeld, Katarzyna Wac, Hugh Melvin, Tihana Galinac Grbac, Yoram Haddad 0001, Peter B. Key |
State of the Art and Research Challenges in the Area of Autonomous Control for a Reliable Internet of Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autonomous Control for a Reliable Internet of Services ![In: Autonomous Control for a Reliable Internet of Services - Methods, Models, Approaches, Techniques, Algorithms, and Tools, pp. 1-22, 2018, Springer, 978-3-319-90414-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
36 | Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol |
06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
36 | Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol |
06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
36 | Lawrence Robinson, Karl N. Levitt, Peter G. Neumann, Ashok R. Saxena |
On attaining reliable software for a secure operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 267-284, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Victor A. Vyssotsky |
Large-scale reliable software: Recent experience at bell labs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 9, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | William A. Wulf |
Reliable hardware-software architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 122-130, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Barry W. Boehm, Robert K. McClean, D. B. Urfrig |
Some experience with automated aids to the design of large-scale reliable software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 105-113, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Donald J. Reifer |
Automated aids fob reliable software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 131-142, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | L. M. Culpepper |
A system for reliable engineering software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 186-192, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | John D. Gannon, James J. Horning |
The impact of language design on the production of reliable software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 10-22, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Algirdas Avizienis |
Fault-tolerance and fault-intolerance: Complementary approaches to reliable computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 458-464, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | R. D. Williams |
Managing the development of reliable software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 3-8, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
36 | Eva Dyllong |
Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers, pp. 44-56, 2008, Springer, 978-3-540-85520-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Anis Charfi, Benjamin Schmeling, Mira Mezini |
Reliable Messaging for BPEL Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 293-302, 2006, IEEE Computer Society, 0-7695-2669-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Feng Xie, Gang Feng 0004, Chee Kheong Siew |
The impact of loss recovery on congestion control for reliable multicast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 14(6), pp. 1323-1335, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
modelling, congestion control, reliable multicast, TCP-friendly, loss recovery |
36 | Özgür B. Akan, Ian F. Akyildiz |
Event-to-sink reliable transport in wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 13(5), pp. 1003-1016, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
event-to-sink reliability, wireless sensor networks, congestion control, energy conservation, reliable transport protocols |
36 | Chieh-Yih Wan, Andrew T. Campbell, Lakshman Krishnamurthy |
PSFQ: a reliable transport protocol for wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSNA ![In: Proceedings of the First ACM International Workshop on Wireless Sensor Networks and Applications, WSNA 2002, Atlanta, Georgia, USA, September 28, 2002, pp. 1-11, 2002, ACM, 1-58113-589-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
wireless sensor networks, reliable transport protocols |
35 | Pradip Bose |
Designing reliable systems with unreliable components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 26(5), pp. 5-6, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
reliable components, reliable systems |
35 | Pavlin Radoslavov, Christos Papadopoulos, Ramesh Govindan, Deborah Estrin |
A comparison of application-level and router-assisted hierarchical schemes for reliable multicast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 12(3), pp. 469-482, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
router-assist for reliable multicast, reliable multicast |
35 | Özalp Babaoglu, Renzo Davoli, Luigi-Alberto Giachini, Mary Gray Baker |
RELACS: A communications infrastructure for constructing reliable applications in large-scale distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 612-621, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
RELACS, reliable applications, large geographic distances, reliability requirements, communication subsystem, distributed processing, programming, programming, wide area networks, software fault tolerance, software portability, asynchrony, microkernel, reliable computing, communications infrastructure, large-scale distributed systems |
35 | Daniel Bauer 0001, Burkhard Stiller, Bernhard Plattner |
An Error-Control Scheme for a Multicast Protocol Based on Round-Trip Time Calculations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: Proceedings 21st Conference on Local Computer Networks, Minneapolis, Minnesota, USA, October 13-16, 1996, pp. 212-221, 1996, IEEE Computer Society, 0-8186-7617-5. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
error-control scheme, multicast transport protocol, round-trip time calculations, isochronous data, reliable control messages, multicast signalling, reliable multicast data transmission protocols, high stability, local area networks, transport protocols, ATM networks, wide area networks, WAN, LAN, metropolitan area networks, distributed multimedia applications, simulation data, MAN |
33 | Sebastian Kempken, Wolfram Luther |
Verified Methods in Stochastic Traffic Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers, pp. 83-101, 2008, Springer, 978-3-540-85520-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith 0001 |
Interval Subroutine Library Mission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers, pp. 28-43, 2008, Springer, 978-3-540-85520-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Neil Yorke-Smith, Carmen Gervet |
Certainty closure: Reliable constraint reasoning with incomplete or erroneous data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 10(1), pp. 3:1-3:41, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Incomplete and erroneous data, reliable solutions, uncertain constraint satisfaction problem, closure |
32 | Paolo Casari, Albert F. Harris III |
Energy-efficient reliable broadcast in underwater acoustic networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Underwater Networks ![In: Proceedings of the Second Workshop on Underwater Networks, WUWNET 2007, Montréal, Québec, Canada, September 14, 2007, pp. 49-56, 2007, ACM, 978-1-59593-736-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
bandwidth-distance relationship, underwater sensor networks, reliable broadcast, acoustic communications |
32 | Wei-Sheng Si, Cheng-Zhi Li |
RMAC: A Reliable MAC Protocol Supporting Multicast for Wireless Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 20(5), pp. 702-712, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
wireless ad hoc network, medium access control, reliable multicast, busy tone |
32 | Amos Beimel, Lior Malka |
Efficient reliable communication over partially authenticated networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 18(1), pp. 1-19, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Incomplete networks, Fault tolerance, Authentication, Reliable communication |
32 | Lakshminarayanan Subramanian, Randy H. Katz, Volker Roth 0002, Scott Shenker, Ion Stoica |
Reliable broadcast in unknown fixed-identity networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, PODC 2005, Las Vegas, NV, USA, July 17-20, 2005, pp. 342-351, 2005, ACM, 1-58113-994-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
unknown network, byzantine agreement, reliable broadcast |
32 | Moufida Maimour, CongDuc Pham |
DyRAM: An Active Reliable Multicast Framework for Data Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 7(2), pp. 163-176, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
simulation, implementation, analysis, active networks, reliable multicast |
32 | Ovidiu Daescu, Raja Jothi, Balaji Raghavachari, Kamil Saraç |
Optimal placement of NAK-suppressing agents for reliable multicast: a partial deployment case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 334-338, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
NAK-suppression, feedback implosion, graph theory, system design, reliable multicast |
32 | Ruppert R. Koch, Louise E. Moser, P. M. Melliar-Smith |
A Reliable Many-to-Many Multicast Protocol for Group Communication over ATM 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. 337-346, 2000, IEEE Computer Society, 0-7695-0707-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
many-to-many, reliable, multicast, ATM, group communication |
31 | A. Siafa |
Flexible multicast protocol. ![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. 170-175, 1997, IEEE Computer Society, 0-8186-8186-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
flexible multicast protocol, SRM algorithm, reliable multipoint communication, SRM repair/request policies, recovery treatments, failure occurence, multicast applications, multicast transport protocols, formal specification, transport protocols, service selection, reliable multicast, Estelle, application level |
30 | Romain Boichat, Rachid Guerraoui |
Reliable Broadcast in the Crash-Recovery Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 19th IEEE Symposium on Reliable Distributed Systems, SRDS'00, Nürnberg, Germany, October 16-18, 2000, Proceedings, pp. 32-41, 2000, IEEE Computer Society, 0-7695-0543-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Valeria Cardellini, Tihana Galinac Grbac, Andreas Kassler, Pradeeban Kathiravelu, Francesco Lo Presti, Antonio Marotta, Matteo Nardelli 0001, Luís Veiga |
Integrating SDN and NFV with QoS-Aware Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autonomous Control for a Reliable Internet of Services ![In: Autonomous Control for a Reliable Internet of Services - Methods, Models, Approaches, Techniques, Algorithms, and Tools, pp. 212-240, 2018, Springer, 978-3-319-90414-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Raimund Schatz, Susanna Schwarzmann, Thomas Zinner, Ognjen Dobrijevic, Eirini Liotou, Peter Pocta, Sabina Barakovic, Jasmina Barakovic Husic, Lea Skorin-Kapov |
QoE Management for Future Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autonomous Control for a Reliable Internet of Services ![In: Autonomous Control for a Reliable Internet of Services - Methods, Models, Approaches, Techniques, Algorithms, and Tools, pp. 49-80, 2018, Springer, 978-3-319-90414-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Eirini Liotou, Tobias Hoßfeld, Christian Moldovan, Florian Metzger, Dimitris Tsolkas, Nikos I. Passas |
The Value of Context-Awareness in Bandwidth-Challenging HTTP Adaptive Streaming Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autonomous Control for a Reliable Internet of Services ![In: Autonomous Control for a Reliable Internet of Services - Methods, Models, Approaches, Techniques, Algorithms, and Tools, pp. 128-150, 2018, Springer, 978-3-319-90414-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Wojciech Burakowski, Andrzej Beben, Hans van den Berg, Joost W. Bosman, Gerhard Hasslinger, Attila Kertész, Steven Latré, Rob van der Mei, Tamas Pflanzner, Patrick Gwydion Poullie, Maciej Sosnowski, Bart Spinnewyn, Burkhard Stiller |
Traffic Management for Cloud Federation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autonomous Control for a Reliable Internet of Services ![In: Autonomous Control for a Reliable Internet of Services - Methods, Models, Approaches, Techniques, Algorithms, and Tools, pp. 269-312, 2018, Springer, 978-3-319-90414-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Eneko Atxutegi, Åke Arvidsson, Fidel Liberal, Karl-Johan Grinnemo, Anna Brunström |
TCP Performance over Current Cellular Access: A Comprehensive Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autonomous Control for a Reliable Internet of Services ![In: Autonomous Control for a Reliable Internet of Services - Methods, Models, Approaches, Techniques, Algorithms, and Tools, pp. 371-400, 2018, Springer, 978-3-319-90414-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Zhi Li 0040, Hugh Melvin, Rasa Bruzgiene, Peter Pocta, Lea Skorin-Kapov, Andrej Zgank |
Lag Compensation for First-Person Shooter Games in Cloud Gaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autonomous Control for a Reliable Internet of Services ![In: Autonomous Control for a Reliable Internet of Services - Methods, Models, Approaches, Techniques, Algorithms, and Tools, pp. 104-127, 2018, Springer, 978-3-319-90414-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | András Márkus, Andre Marques, Gabor Kecskemeti, Attila Kertész |
Efficient Simulation of IoT Cloud Use Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autonomous Control for a Reliable Internet of Services ![In: Autonomous Control for a Reliable Internet of Services - Methods, Models, Approaches, Techniques, Algorithms, and Tools, pp. 313-336, 2018, Springer, 978-3-319-90414-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Stoyan Poryazov, Emiliya Saranova, Ivan Ganchev |
Scalable Traffic Quality and System Efficiency Indicators Towards Overall Telecommunication System's QoE Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autonomous Control for a Reliable Internet of Services ![In: Autonomous Control for a Reliable Internet of Services - Methods, Models, Approaches, Techniques, Algorithms, and Tools, pp. 81-103, 2018, Springer, 978-3-319-90414-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Florian Metzger, Tobias Hoßfeld, Lea Skorin-Kapov, Yoram Haddad 0001, Eirini Liotou, Peter Pocta, Hugh Melvin, Vasilios A. Siris, Andrej Zgank, Michael Jarschel |
Context Monitoring for Improved System Performance and QoE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autonomous Control for a Reliable Internet of Services ![In: Autonomous Control for a Reliable Internet of Services - Methods, Models, Approaches, Techniques, Algorithms, and Tools, pp. 23-48, 2018, Springer, 978-3-319-90414-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Valeria Cardellini, Tihana Galinac Grbac, Matteo Nardelli 0001, Nikola Tankovic, Hong Linh Truong 0001 |
QoS-Based Elasticity for Service Chains in Distributed Edge Cloud Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autonomous Control for a Reliable Internet of Services ![In: Autonomous Control for a Reliable Internet of Services - Methods, Models, Approaches, Techniques, Algorithms, and Tools, pp. 182-211, 2018, Springer, 978-3-319-90414-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Bego Blanco, Fidel Liberal, Pasi E. Lassila, Samuli Aalto, Javier Sainz, Marco Gribaudo, Barbara Pernici |
Energy vs. QoX Network- and Cloud Services Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autonomous Control for a Reliable Internet of Services ![In: Autonomous Control for a Reliable Internet of Services - Methods, Models, Approaches, Techniques, Algorithms, and Tools, pp. 241-268, 2018, Springer, 978-3-319-90414-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Stoyan Poryazov, Emiliya Saranova, Ivan Ganchev |
Conceptual and Analytical Models for Predicting the Quality of Service of Overall Telecommunication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autonomous Control for a Reliable Internet of Services ![In: Autonomous Control for a Reliable Internet of Services - Methods, Models, Approaches, Techniques, Algorithms, and Tools, pp. 151-181, 2018, Springer, 978-3-319-90414-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (eds.) |
Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![Springer, 978-3-540-85520-0 The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Ekaterina Auer, Andreas Rauh, Eberhard P. Hofer, Wolfram Luther |
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers, pp. 1-27, 2008, Springer, 978-3-540-85520-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Vincent Lefèvre, Damien Stehlé, Paul Zimmermann |
Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers, pp. 114-126, 2008, Springer, 978-3-540-85520-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou |
Robustness and Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers, pp. 127-148, 2008, Springer, 978-3-540-85520-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Ioannis Z. Emiris, Bernard Mourrain, Elias P. Tsigaridas |
Real Algebraic Numbers: Complexity Analysis and Experimentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers, pp. 57-82, 2008, Springer, 978-3-540-85520-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Chee-Keng Yap |
Theory of Real Computation According to EGC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers, pp. 193-237, 2008, Springer, 978-3-540-85520-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Branimir Lambov |
Interval Arithmetic Using SSE-2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers, pp. 102-113, 2008, Springer, 978-3-540-85520-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Vadim Shapiro |
Homotopy Conditions for Tolerant Geometric Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers, pp. 162-180, 2008, Springer, 978-3-540-85520-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Neil F. Stewart, Malika Zidani |
Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers, pp. 181-192, 2008, Springer, 978-3-540-85520-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Lance Edward Miller, Edward L. F. Moore, Thomas J. Peters, Alexander Russell |
Topological Neighborhoods for Spline Curves: Practice & Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, International Seminar Dagstuhl Castle, Germany, January 8-13, 2006, Revised Papers, pp. 149-161, 2008, Springer, 978-3-540-85520-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol (eds.) |
Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
29 | Sylvain Pion, Hervé Brönnimann, Guillaume Melquiond |
A Proposal to add Interval Arithmetic to the C++ Standard Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
29 | George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith 0001 |
Interval Subroutine Library Mission. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
29 | Branimir Lambov |
Interval Arithmetic Using SSE-2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
29 | Thomas J. Peters, Edward L. F. Moore |
Floating Point Geometric Algorithms for Topologically Correct Scientific Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
29 | Neil F. Stewart, Malika Zidani |
Transfinite interpolation for well-definition in error analysis in solid modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
29 | Vincent Lefèvre, Damien Stehlé, Paul Zimmermann |
Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
29 | Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou |
Robustness and Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
29 | Kurt Mehlhorn, Arno Eigenwillig, Lutz Kettner, Werner Krandick, Susanne Schmitt, Nicola Wolpert |
A Descartes Algorithms for Polynomials with Bit-Stream Coefficients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
29 | Margarita V. Korovina, Nicolai N. Vorobjov Jr. |
Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Implementation of Real Number Algorithms ![In: Reliable Implementation of Real Number Algorithms: Theory and Practice, 08.01. - 13.01.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
29 | David B. Wortman (eds.) |
Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Design for Reliable Software ![ACM, 978-1-4503-7380-7 The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
29 | David B. Lomet |
Process Structuring, Synchronization, and Recovery Using Atomic Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Design for Reliable Software ![In: Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977., pp. 128-137, 1977, ACM, 978-1-4503-7380-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
29 | Robert G. Herriot |
Towards the Ideal Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Design for Reliable Software ![In: Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977., pp. 56-62, 1977, ACM, 978-1-4503-7380-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
29 | Allen L. Ambler |
GYPSY: A Language for Specification and Implementation of Verifiable Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Design for Reliable Software ![In: Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977., pp. 1-10, 1977, ACM, 978-1-4503-7380-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
29 | Patrick Cousot, Radhia Cousot |
Static Determination of Dynamic Properties of Generalized Type Unions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Design for Reliable Software ![In: Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977., pp. 77-94, 1977, ACM, 978-1-4503-7380-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
29 | Daniel P. Friedman, David S. Wise |
Aspects of Applicative Programming for File Systems (Preliminary Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Design for Reliable Software ![In: Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977., pp. 41-55, 1977, ACM, 978-1-4503-7380-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
29 | Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London |
Notes on the Design of Euclid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Design for Reliable Software ![In: Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977., pp. 11-18, 1977, ACM, 978-1-4503-7380-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
29 | M. Donald MacLaren |
Exception Handling in PL/I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Design for Reliable Software ![In: Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977., pp. 101-104, 1977, ACM, 978-1-4503-7380-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
29 | Allen L. Ambler, Charles G. Hoch |
A Study of Protection in Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Design for Reliable Software ![In: Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977., pp. 25-40, 1977, ACM, 978-1-4503-7380-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
29 | Charles N. Fischer, Richard J. LeBlanc |
Efficient Implementation and Optimization of Run-Time Checking in Pascal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Design for Reliable Software ![In: Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977., pp. 19-24, 1977, ACM, 978-1-4503-7380-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
29 | Normand Buckle |
Restricted Data Types, Specification and Enforcement of Invariant Properties of Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Design for Reliable Software ![In: Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977., pp. 68-76, 1977, ACM, 978-1-4503-7380-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
29 | Tom Love |
An Experimental Investigation of the Effect of Program Structure on Program Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Design for Reliable Software ![In: Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977., pp. 105-113, 1977, ACM, 978-1-4503-7380-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
29 | P. M. Melliar-Smith, Brian Randell |
Software Reliability: The Role of Programmed Exception Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Design for Reliable Software ![In: Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977., pp. 95-100, 1977, ACM, 978-1-4503-7380-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
29 | John V. Guttag, Ellis Horowitz, David R. Musser |
Some Extensions to Algebraic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Design for Reliable Software ![In: Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977., pp. 63-67, 1977, ACM, 978-1-4503-7380-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
29 | Gregory R. Andrews, James R. McGraw |
Language Features for Process Interaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language Design for Reliable Software ![In: Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), Raleigh, North Carolina, USA, March 28-30, 1977., pp. 114-127, 1977, ACM, 978-1-4503-7380-7. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
29 | Martin L. Shooman, Raymond T. Yeh (eds.) |
Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![ACM, 978-1-4503-7385-2 The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
29 | Martin L. Shooman, M. I. Bolsky |
Types, distribution, and test and correction times for programming errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 347-357, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
29 | Ashok K. Trivedi, Martin L. Shooman |
A many-state Markov model for the estimation and prediction of computer software performance parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 208-220, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
29 | Frank DeRemer, Hans H. Kron |
Programming-in-the large versus programming-in-the-small. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 114-121, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
29 | Frederick P. Brooks Jr. |
The Mythical Man-Month. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 193, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
29 | Hermann Kopetz |
On the connections between range of variable and control structure testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 511-517, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
29 | Ashok R. Saxena, Thomas H. Bredt |
A structured specification of a hierarchical operating system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 310-318, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
29 | Robert S. Boyer, Bernard Elspas, Karl N. Levitt |
SELECT - a formal system for testing and debugging programs by symbolic execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 234-245, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
29 | Charles M. Geschke, James G. Mitchell |
On the problem of uniform references to data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 31-42, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
29 | John R. Brown, Myron Lipow |
Testing for software reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 518-527, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
29 | Laurian M. Chirica, David F. Martin |
An approach to compiler correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliable Software ![In: Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975, pp. 96-103, 1975, ACM, 978-1-4503-7385-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 25819 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|