The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Reliable with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1957-1970 (15) 1971-1974 (16) 1975 (77) 1976-1977 (40) 1978 (21) 1979 (15) 1980 (17) 1981 (15) 1982-1983 (41) 1984 (26) 1985 (20) 1986 (34) 1987 (41) 1988 (73) 1989 (88) 1990 (86) 1991 (100) 1992 (98) 1993 (106) 1994 (145) 1995 (181) 1996 (212) 1997 (262) 1998 (372) 1999 (419) 2000 (484) 2001 (600) 2002 (674) 2003 (807) 2004 (1032) 2005 (1366) 2006 (1589) 2007 (1731) 2008 (1670) 2009 (1167) 2010 (658) 2011 (539) 2012 (668) 2013 (625) 2014 (670) 2015 (818) 2016 (759) 2017 (876) 2018 (883) 2019 (1124) 2020 (1022) 2021 (1046) 2022 (1114) 2023 (1145) 2024 (232)
Publication types (Num. hits)
article(8542) book(34) data(2) incollection(115) inproceedings(16657) phdthesis(371) proceedings(98)
Venues (Conferences, Journals, ...)
SRDS(1225) CoRR(1155) DRCN(573) Ada-Europe(524) IEEE Access(273) Sensors(212) ICC(174) GLOBECOM(152) ICRA(118) VTC Spring(112) IRICT(110) INFOCOM(101) IEEE Trans. Wirel. Commun.(99) IEEE Trans. Pattern Anal. Mach...(93) IROS(91) ISCC(89) More (+10 of total 3983)
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
58Xueyi Wang, Jiajun Bu, Chun Chen 0001 Research on Reliable Communication in Real-Time Collaborative Designing Systems. Search on Bibsonomy DCW The full citation details ... 2002 DBLP  DOI  BibTeX  RDF real-time collaborative design, reliable communication architecture, Site-based Reliable Communication Protocol (SRCP), CSCW
51Taosong He, Lichan Hong, Dongqing Chen, Zhengrong Liang Reliable Path for Virtual Endoscopy: Ensuring Complete Examination of Human Organs. Search on Bibsonomy IEEE Trans. Vis. Comput. Graph. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Virtual endscopy, reliable path, reliable navigation, NP-complete, visibility, camera control
48Yuan Gao, Ye Ge, Jennifer C. Hou RMCM: Reliable Multicasts for Core-based Multicast Trees. Search on Bibsonomy ICNP The full citation details ... 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
42Bhavani Shankar, Prasant Gopal, Kannan Srinathan, C. Pandu Rangan Unconditionally reliable message transmission in directed networks. Search on Bibsonomy SODA The full citation details ... 2008 DBLP  BibTeX  RDF
39Nipoon Malhotra, Shrish Ranjan, Saurabh Bagchi LRRM: A Randomized Reliable Multicast Protocol for Optimizing Recovery Latency and Buffer Utilization. Search on Bibsonomy SRDS The full citation details ... 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 ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF adaptive, mobile ad hoc networks, reliable multicast, epidemic
39Kulpreet Singh, Andronikos Nedos, Gregor Gärtner, Siobhán Clarke Message Stability and Reliable Broadcasts in Mobile Ad-Hoc Networks. Search on Bibsonomy ADHOC-NOW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF message stability, MANET, reliable broadcast
39Yogesh Sankarasubramaniam, Özgür B. Akan, Ian F. Akyildiz ESRT: event-to-sink reliable transport in wireless sensor networks. Search on Bibsonomy MobiHoc The full citation details ... 2003 DBLP  DOI  BibTeX  RDF event-to-sink reliability, wireless sensor networks, congestion control, energy conservation, reliable transport protocols
36Ahmet Aris, Sema F. Oktug, Thiemo Voigt Security of Internet of Things for a Reliable Internet of Services. Search on Bibsonomy Autonomous Control for a Reliable Internet of Services The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
36Rob 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 Autonomous Control for a Reliable Internet of Services The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
36Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol 06021 Summary -- Reliable Implementation of Real Number Algorithms: Theory and Practice. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2006 DBLP  BibTeX  RDF
36Peter Hertling, Christoph M. Hoffmann, Wolfram Luther, Nathalie Revol 06021 Abstracts Collection -- Reliable Implementation of Real Number Algorithms: Theory and Practice. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2006 DBLP  BibTeX  RDF
36Lawrence Robinson, Karl N. Levitt, Peter G. Neumann, Ashok R. Saxena On attaining reliable software for a secure operating system. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
36Victor A. Vyssotsky Large-scale reliable software: Recent experience at bell labs. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
36William A. Wulf Reliable hardware-software architecture. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
36Barry W. Boehm, Robert K. McClean, D. B. Urfrig Some experience with automated aids to the design of large-scale reliable software. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
36Donald J. Reifer Automated aids fob reliable software. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
36L. M. Culpepper A system for reliable engineering software. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
36John D. Gannon, James J. Horning The impact of language design on the production of reliable software. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
36Algirdas Avizienis Fault-tolerance and fault-intolerance: Complementary approaches to reliable computing. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
36R. D. Williams Managing the development of reliable software. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
36Eva Dyllong Convex Polyhedral Enclosures of Interval-Based Hierarchical Object Representations. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Anis Charfi, Benjamin Schmeling, Mira Mezini Reliable Messaging for BPEL Processes. Search on Bibsonomy ICWS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Feng Xie, Gang Feng 0004, Chee Kheong Siew The impact of loss recovery on congestion control for reliable multicast. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 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 IEEE/ACM Trans. Netw. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF event-to-sink reliability, wireless sensor networks, congestion control, energy conservation, reliable transport protocols
36Chieh-Yih Wan, Andrew T. Campbell, Lakshman Krishnamurthy PSFQ: a reliable transport protocol for wireless sensor networks. Search on Bibsonomy WSNA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF wireless sensor networks, reliable transport protocols
35Pradip Bose Designing reliable systems with unreliable components. Search on Bibsonomy IEEE Micro The full citation details ... 2006 DBLP  DOI  BibTeX  RDF reliable components, reliable systems
35Pavlin Radoslavov, Christos Papadopoulos, Ramesh Govindan, Deborah Estrin A comparison of application-level and router-assisted hierarchical schemes for reliable multicast. Search on Bibsonomy IEEE/ACM Trans. Netw. The full citation details ... 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 HICSS (2) The full citation details ... 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
35Daniel Bauer 0001, Burkhard Stiller, Bernhard Plattner An Error-Control Scheme for a Multicast Protocol Based on Round-Trip Time Calculations. Search on Bibsonomy LCN The full citation details ... 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
33Sebastian Kempken, Wolfram Luther Verified Methods in Stochastic Traffic Modelling. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
33George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith 0001 Interval Subroutine Library Mission. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
32Neil Yorke-Smith, Carmen Gervet Certainty closure: Reliable constraint reasoning with incomplete or erroneous data. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Incomplete and erroneous data, reliable solutions, uncertain constraint satisfaction problem, closure
32Paolo Casari, Albert F. Harris III Energy-efficient reliable broadcast in underwater acoustic networks. Search on Bibsonomy Underwater Networks The full citation details ... 2007 DBLP  DOI  BibTeX  RDF bandwidth-distance relationship, underwater sensor networks, reliable broadcast, acoustic communications
32Wei-Sheng Si, Cheng-Zhi Li RMAC: A Reliable MAC Protocol Supporting Multicast for Wireless Ad Hoc Networks. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF wireless ad hoc network, medium access control, reliable multicast, busy tone
32Amos Beimel, Lior Malka Efficient reliable communication over partially authenticated networks. Search on Bibsonomy Distributed Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Incomplete networks, Fault tolerance, Authentication, Reliable communication
32Lakshminarayanan Subramanian, Randy H. Katz, Volker Roth 0002, Scott Shenker, Ion Stoica Reliable broadcast in unknown fixed-identity networks. Search on Bibsonomy PODC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF unknown network, byzantine agreement, reliable broadcast
32Moufida Maimour, CongDuc Pham DyRAM: An Active Reliable Multicast Framework for Data Distribution. Search on Bibsonomy Clust. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF simulation, implementation, analysis, active networks, reliable multicast
32Ovidiu Daescu, Raja Jothi, Balaji Raghavachari, Kamil Saraç Optimal placement of NAK-suppressing agents for reliable multicast: a partial deployment case. Search on Bibsonomy SAC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF NAK-suppression, feedback implosion, graph theory, system design, reliable multicast
32Ruppert 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 DSN The full citation details ... 2000 DBLP  DOI  BibTeX  RDF many-to-many, reliable, multicast, ATM, group communication
31A. Siafa Flexible multicast protocol. Search on Bibsonomy ICCCN The full citation details ... 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
30Romain Boichat, Rachid Guerraoui Reliable Broadcast in the Crash-Recovery Model. Search on Bibsonomy SRDS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
29Valeria 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 Autonomous Control for a Reliable Internet of Services The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Raimund 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 Autonomous Control for a Reliable Internet of Services The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Eirini 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 Autonomous Control for a Reliable Internet of Services The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Wojciech 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 Autonomous Control for a Reliable Internet of Services The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Eneko Atxutegi, Åke Arvidsson, Fidel Liberal, Karl-Johan Grinnemo, Anna Brunström TCP Performance over Current Cellular Access: A Comprehensive Analysis. Search on Bibsonomy Autonomous Control for a Reliable Internet of Services The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Zhi 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 Autonomous Control for a Reliable Internet of Services The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29András Márkus, Andre Marques, Gabor Kecskemeti, Attila Kertész Efficient Simulation of IoT Cloud Use Cases. Search on Bibsonomy Autonomous Control for a Reliable Internet of Services The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Stoyan Poryazov, Emiliya Saranova, Ivan Ganchev Scalable Traffic Quality and System Efficiency Indicators Towards Overall Telecommunication System's QoE Management. Search on Bibsonomy Autonomous Control for a Reliable Internet of Services The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Florian 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 Autonomous Control for a Reliable Internet of Services The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Valeria 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 Autonomous Control for a Reliable Internet of Services The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Bego 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 Autonomous Control for a Reliable Internet of Services The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Stoyan Poryazov, Emiliya Saranova, Ivan Ganchev Conceptual and Analytical Models for Predicting the Quality of Service of Overall Telecommunication Systems. Search on Bibsonomy Autonomous Control for a Reliable Internet of Services The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
29Peter 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 Reliable Implementation of Real Number Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Ekaterina Auer, Andreas Rauh, Eberhard P. Hofer, Wolfram Luther Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Vincent Lefèvre, Damien Stehlé, Paul Zimmermann Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou Robustness and Randomness. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Ioannis Z. Emiris, Bernard Mourrain, Elias P. Tsigaridas Real Algebraic Numbers: Complexity Analysis and Experimentation. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Chee-Keng Yap Theory of Real Computation According to EGC. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Branimir Lambov Interval Arithmetic Using SSE-2. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Vadim Shapiro Homotopy Conditions for Tolerant Geometric Queries. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Neil F. Stewart, Malika Zidani Transfinite Interpolation for Well-Definition in Error Analysis in Solid Modelling. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Lance Edward Miller, Edward L. F. Moore, Thomas J. Peters, Alexander Russell Topological Neighborhoods for Spline Curves: Practice & Theory. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Peter 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 Reliable Implementation of Real Number Algorithms The full citation details ... 2006 DBLP  BibTeX  RDF
29Sylvain Pion, Hervé Brönnimann, Guillaume Melquiond A Proposal to add Interval Arithmetic to the C++ Standard Library. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2006 DBLP  BibTeX  RDF
29George F. Corliss, R. Baker Kearfott, Nedialko S. Nedialkov, John D. Pryce, Spencer Smith 0001 Interval Subroutine Library Mission. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2006 DBLP  BibTeX  RDF
29Branimir Lambov Interval Arithmetic Using SSE-2. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2006 DBLP  BibTeX  RDF
29Thomas J. Peters, Edward L. F. Moore Floating Point Geometric Algorithms for Topologically Correct Scientific Visualization. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2006 DBLP  BibTeX  RDF
29Neil F. Stewart, Malika Zidani Transfinite interpolation for well-definition in error analysis in solid modelling. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2006 DBLP  BibTeX  RDF
29Vincent Lefèvre, Damien Stehlé, Paul Zimmermann Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2006 DBLP  BibTeX  RDF
29Dominique Michelucci, Jean-Michel Moreau, Sebti Foufou Robustness and Randomness. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2006 DBLP  BibTeX  RDF
29Kurt Mehlhorn, Arno Eigenwillig, Lutz Kettner, Werner Krandick, Susanne Schmitt, Nicola Wolpert A Descartes Algorithms for Polynomials with Bit-Stream Coefficients. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2006 DBLP  BibTeX  RDF
29Margarita V. Korovina, Nicolai N. Vorobjov Jr. Upper and Lower Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems. Search on Bibsonomy Reliable Implementation of Real Number Algorithms The full citation details ... 2006 DBLP  BibTeX  RDF
29David 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 Language Design for Reliable Software The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29David B. Lomet Process Structuring, Synchronization, and Recovery Using Atomic Actions. Search on Bibsonomy Language Design for Reliable Software The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29Robert G. Herriot Towards the Ideal Programming Language. Search on Bibsonomy Language Design for Reliable Software The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29Allen L. Ambler GYPSY: A Language for Specification and Implementation of Verifiable Programs. Search on Bibsonomy Language Design for Reliable Software The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29Patrick Cousot, Radhia Cousot Static Determination of Dynamic Properties of Generalized Type Unions. Search on Bibsonomy Language Design for Reliable Software The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29Daniel P. Friedman, David S. Wise Aspects of Applicative Programming for File Systems (Preliminary Version). Search on Bibsonomy Language Design for Reliable Software The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London Notes on the Design of Euclid. Search on Bibsonomy Language Design for Reliable Software The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29M. Donald MacLaren Exception Handling in PL/I. Search on Bibsonomy Language Design for Reliable Software The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29Allen L. Ambler, Charles G. Hoch A Study of Protection in Programming Languages. Search on Bibsonomy Language Design for Reliable Software The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29Charles N. Fischer, Richard J. LeBlanc Efficient Implementation and Optimization of Run-Time Checking in Pascal. Search on Bibsonomy Language Design for Reliable Software The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29Normand Buckle Restricted Data Types, Specification and Enforcement of Invariant Properties of Variables. Search on Bibsonomy Language Design for Reliable Software The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29Tom Love An Experimental Investigation of the Effect of Program Structure on Program Understanding. Search on Bibsonomy Language Design for Reliable Software The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29P. M. Melliar-Smith, Brian Randell Software Reliability: The Role of Programmed Exception Handling. Search on Bibsonomy Language Design for Reliable Software The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29John V. Guttag, Ellis Horowitz, David R. Musser Some Extensions to Algebraic Specifications. Search on Bibsonomy Language Design for Reliable Software The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29Gregory R. Andrews, James R. McGraw Language Features for Process Interaction. Search on Bibsonomy Language Design for Reliable Software The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
29Martin 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 Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
29Martin L. Shooman, M. I. Bolsky Types, distribution, and test and correction times for programming errors. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
29Ashok K. Trivedi, Martin L. Shooman A many-state Markov model for the estimation and prediction of computer software performance parameters. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
29Frank DeRemer, Hans H. Kron Programming-in-the large versus programming-in-the-small. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
29Frederick P. Brooks Jr. The Mythical Man-Month. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
29Hermann Kopetz On the connections between range of variable and control structure testing. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
29Ashok R. Saxena, Thomas H. Bredt A structured specification of a hierarchical operating system. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
29Robert S. Boyer, Bernard Elspas, Karl N. Levitt SELECT - a formal system for testing and debugging programs by symbolic execution. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
29Charles M. Geschke, James G. Mitchell On the problem of uniform references to data structures. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
29John R. Brown, Myron Lipow Testing for software reliability. Search on Bibsonomy Reliable Software The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
29Laurian M. Chirica, David F. Martin An approach to compiler correctness. Search on Bibsonomy Reliable Software The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license