Search results for "reliable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
29	D. E. W. Bucher	Maintenance of the computer sciences teleprocessing system.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Niklaus Wirth	An assessment of the programming language PASCAL.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Donald I. Good	Provable programming.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Norihisa Suzuki	Verifying programs by algebraic and logical reduction.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Loren C. Carpenter, Leonard L. Tripp	Software design validation tool.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	A. Cicu, Marco Maiocchi, Roberto Polillo, A. Sardoni	Organizing tests during software evolution.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	James C. King	A new approach to program testing.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	N. P. Edwards	The effect of certain modular design principles on testability.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Ralph L. London	A view of program verification.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	John B. Goodenough 0002, Susan L. Gerhart	Toward a theory of test data selection.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Bev Littlewood	A reliability model for Markov structured software.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Michel Sintzoff, Axel van Lamsweerde	Constructing correct and efficient concurrent programs.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Ruth M. Davis	The software reliability game.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	J.-C. Rault	Design verification techniques - a review.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Donald I. Good, Ralph L. London, W. W. Bledsoe	An interactive program verification system.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Rod M. Burstall, John Darlington	Some transformations for developing recursive programs.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Stephen S. Yau, R. C. Cheung	Design of self-checking software.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	R. Infante, U. Montanary	Proving structured programs correct, level by level.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Peter Henderson 0001	Finite state modelling in program development.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Susan L. Gerhart	Knowledge about programs: A model and case study.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	William C. Lynch, John W. Langner, Marvin S. Schwartz	Reliability experience with Chi/OS.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Albert Endres	An analysis of errors and their causes in system programs.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Shmuel Katz, Zohar Manna	Towards automatic debugging of programs.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Norman F. Schneidewind	Analysis of error processes in computer software.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Per Brinch Hansen	The purpose of concurrent Pascal.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	A. O. Buda, A. A. Granovaky, Andrei P. Ershov	Implementation of the Alpha-6 programming system.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Edsger W. Dijkstra	Correctness concerns and, among other things, why they are resented.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	C. A. R. Hoare	Data reliability.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Leon G. Stucki, Gary L. Foshee	New assertion concepts for self-metric software validation.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Isao Miyamoto	"Software reliability in online real time environment".	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Raymond J. Rubey	Quantitative aspects of software validation.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	C. V. Ramamoorthy, Siu-Bun F. Ho	Testing large software with automated software evaluation systems.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Kenneth G. Walter, Samuel I. Schaen, William F. Ogden, William C. Rounds, D. G. Shumway, D. D. Schaeffer, K. J. Biba, Franklyn T. Bradshaw, S. R. Ames, J. M. Gilligan	Structured specification of a Security Kernel.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Harlan D. Mills	How to write correct programs and know it.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Edward F. Miller Jr., R. A. Melton	Automated generation of testcase datasets.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Gerald J. Popek, Charles S. Kline	A verifiable protection system.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Barbara Liskov, Stephen N. Zilles	Specification techniques for data abstractions.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	F. Terry Baker	Structured programming in a production programming environment.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Mark S. Laventhal	Verifying programs which operate on data structures.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Michel Caplain	Finding Invariant assertions for proving programs.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Edsger W. Dijkstra	Guarded commands, non-determinacy and a calculus for the derivation of programs.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	David Lorge Parnas	The influence of software structure on reliability.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Brian Randell	System structure for software fault tolerance.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Friedrich W. von Henke, David C. Luckham	A methodology for verifying programs.	Reliable Software	1975	DBLP DOI BibTeX RDF
29	Gong Zhang 0008, Ling Liu 0001, Sangeetha Seshadri, Bhuvan Bamba, Yuehua Wang	Scalable and Reliable Location Services through Decentralized Replication.	ICWS	2009	DBLP DOI BibTeX RDF
29	Adnan Iqbal, Khurram Shahzad 0001, Syed Ali Khayam	SRVF: An Energy-Efficient Link Layer Protocol for Reliable Transmission over Wireless Sensor Networks.	ICC	2008	DBLP DOI BibTeX RDF
29	Carolos Livadas, Nancy A. Lynch	A Formal Venture into Reliable Multicast Territory.	FORTE	2002	DBLP DOI BibTeX RDF
29	Jinman Jung, Yookun Cho, Yeongkwun Kim, Injoo Kim	ASTRAL: an adaptive, efficient, and reliable flooding mechanism for MANET.	SAC	2010	DBLP DOI BibTeX RDF	adaptive flooding, reliable flooding, MANETs
29	Jaewan Seo, Moonseong Kim, In Hur, Hyunseung Choo	Delay-based reliable data transmission for lossy wireless sensor networks.	MoMM	2009	DBLP DOI BibTeX RDF	reliable data transmission, wireless sensor networks, protocol, energy-efficiency, modular approach
29	Vehbi C. Gungor, Özgür B. Akan, Ian F. Akyildiz	A real-time and reliable transport (RT) 2 protocol for wireless sensor and actor networks.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	congestion detection and control, real-time and reliable transport protocol, energy efficiency, wireless sensor and actor networks
29	Qunfeng Dong, Suman Banerjee 0001, Micah Adler, Archan Misra	Minimum energy reliable paths using unreliable wireless links.	MobiHoc	2005	DBLP DOI BibTeX RDF	end-to-end reliable communication, routing, wireless networks, energy efficiency, multi-path
29	Seungjin Park, Roopesh R. Palasdeokar	Reliable one-hop broadcasting (ROB) in mobile ad hoc networks.	PE-WASUN	2005	DBLP DOI BibTeX RDF	packet collision, ad hoc networks, broadcasting, reliable communication
29	Christos Papadopoulos, Guru M. Parulkar, George Varghese	Light-weight multicast services (LMS): a router-assisted scheme for reliable multicast.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	multicast, reliable multicast, error control
29	Gunjan Khanna, Saurabh Bagchi, John Rogers	Failure Handling in a Reliable Multicast Protocol for Improving Buffer Utilization and Accommodating Heterogeneous Receivers.	PRDC	2004	DBLP DOI BibTeX RDF	tree based reliable multicast, message errors, slow or unresponsive receivers, end-to-end latency, buffer utilization
29	M. Ümit Uyar, Jianliang Zheng, Mariusz A. Fecko, Sunil Samtani	Performance Study of Reliable Server Pooling.	NCA	2003	DBLP DOI BibTeX RDF	ASAP, ENRP, battlefield networks, ad-hoc networks, server selection, reliable server pools, RSerPool
29	Mario A. R. Dantas, G. Jardini	Performance Evaluation of XTP and TCP Transport Protocols for Reliable Multicast Communications.	HPCN	2001	DBLP DOI BibTeX RDF	TCP, Cluster Computing, Transport Protocols, Reliable Multicast, XTP
29	Michel Raynal	Quiescent Uniform Reliable Broadcast as an Introduction to Failure Detector Oracles.	PaCT	2001	DBLP DOI BibTeX RDF	Fair Lossy Channels, Quiescent Protocol, Uniform Reliable Broadcast, Fault-Tolerance, Oracles, Failure Detectors, Asynchronous Distributed Systems, Process Crashes
29	Carlos de M. Cordeiro, Djamel Fawzi Hadj Sadok, Judith Kelner, Paulo da F. Pinto	Establishing a Trade-off between Unicast and Multicast Retransmission Modes for Reliable Multicast Protocol.	MASCOTS	2000	DBLP DOI BibTeX RDF	Wireless Mobile Computing, Simulation, Analytical Modeling, Reliable Multicast
29	J. Mark Pullen	Reliable Multicast Network Transport for Distributed Virtual Simulation.	DIS-RT	1999	DBLP DOI BibTeX RDF	network transport, distributed virtual simulation, reliable multicast
29	Lifan Gu, J. J. Garcia-Luna-Aceves	New Error Recovery Structures for Reliable Multicasting.	ICCCN	1997	DBLP DOI BibTeX RDF	Tree NAK avoidance, Hybrid Structure, Ring, Reliable Multicast
28	Mariana Luderitz Kolberg, Walter Krämer, Michael Zimmer 0002	A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	C-XSC, 100-digit challenge, reliable linear system solver, large dense linear systems, high performance computing, reliable computing
27	Kyong Hoon Kim, Jong Kim 0001, Sung Je Hong	Dual-Mode r-Reliable Task Model for Flexible Scheduling in Reliable Real-Time Systems.	EUC	2006	DBLP DOI BibTeX RDF
27	Danyang Zhang, Sibabrata Ray, Rajgopal Kannan, S. Sitharama Iyengar	A Recovery Algorithm for Reliable Multicasting in Reliable Networks.	ICPP	2003	DBLP DOI BibTeX RDF
26	Ivan Hernandez-Serrano, Shadanan Sharma, Alberto Leon-Garcia	Reliable P2P networks: TrebleCast and TrebleCast.	IPDPS	2009	DBLP DOI BibTeX RDF
26	Martin Dietzfelbinger, Joseph Gil, Yossi Matias, Nicholas Pippenger	Polynomial Hash Functions Are Reliable (Extended Abstract).	ICALP	1992	DBLP DOI BibTeX RDF
26	Sirajum Munir, Shan Lin 0001, Enamul Hoque, S. M. Shahriar Nirjon, John A. Stankovic, Kamin Whitehouse	Addressing burstiness for reliable communication and latency bound generation in wireless sensor networks.	IPSN	2010	DBLP DOI BibTeX RDF	latency bound, link burstiness, link interference, real-time applications, reliable transmission
26	Pranav K. Vasishta, Prasant Gopal, Anuj Gupta 0001, Piyush Bansal, K. Srinathan	Brief announcement: topology knowledge affects probabilistic reliable communication.	PODC	2009	DBLP DOI BibTeX RDF	probabilistic reliable communication, topology knowledge, directed networks
26	Min Xiao, Zhongke Shi	Non-fragile Reliable Guaranteed Cost Control of an Interval System with Actuator Failures and Application to Flight Control Testing.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	interval system, reliable control, fragility, actuator failures, guaranteed cost control, LMI
26	Zhijun Wang 0001, Xiaopeng Fan, Jiannong Cao 0001	Design a Hierarchical Cache System for Effective Loss Recovery in Reliable Multicast.	APPT	2007	DBLP DOI BibTeX RDF	Reliable multicast, cooperative cache, replacement algorithm, loss recovery
26	Marco Muselli, Francesca Ruffino	Reliable Learning: A Theoretical Framework.	KES (3)	2007	DBLP DOI BibTeX RDF	reliable learning, generalization, error bounds, PAC learning, loss function
26	Zhendong Wu, Shanping Li	A Reliable Transmission Strategy in Unreliable Wireless Sensor Networks.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	Nodes cooperation, Sensor Networks, Reliable Transmission
26	Jian Tang 0008, Guoliang Xue, Weiyi Zhang 0001	Reliable Ad Hoc Routing Based on Mobility Prediction.	J. Comb. Optim.	2006	DBLP DOI BibTeX RDF	Reliable ad hoc routing, QoS, Mobile ad hoc network, Mobility prediction
26	Ming Li 0002, Shengquan Wang, Wei Zhao 0001	A Real-Time and Reliable Approach to Detecting Traffic Variations at Abnormally High and Low Rates.	ATC	2006	DBLP DOI BibTeX RDF	real-time detection, reliable detection, traffic constraint, Anomaly detection
26	Arpita Patra, Ashish Choudhary, K. Srinathan, C. Pandu Rangan	Constant Phase Bit Optimal Protocols for Perfectly Reliable and Secure Message Transmission.	INDOCRYPT	2006	DBLP DOI BibTeX RDF	Reliable and Secure Communication, Information Theoretic Security, Communication Efficiency
26	Azzedine Boukerche, Dawei Ning, Regina Borges de Araujo	UARTP: a unicast--based self--adaptive reliable transmission protocol for wireless and mobile ad-hoc networks.	PE-WASUN	2005	DBLP DOI BibTeX RDF	mobile ad hoc wireless networks, self-adaptive transmission protocol, reliable transmission
26	Seung-Jong Park, Ramanuja Vedantham, Raghupathy Sivakumar, Ian F. Akyildiz	A scalable approach for reliable downstream data delivery in wireless sensor networks.	MobiHoc	2004	DBLP DOI BibTeX RDF	sink-to-sensors reliability, wireless sensor networks, energy conservation, reliable transport protocols
26	X. Brian Zhang, Simon S. Lam, Dong-Young Lee, Yang Richard Yang	Protocol design for scalable and reliable group rekeying.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	adaptive FEC, proactive FEC, reliable multicast, group key management, secure multicast
26	José Pereira 0001, Luís E. T. Rodrigues, Rui Oliveira 0001	Semantically Reliable Multicast: Definition, Implementation, and Performance Evaluation.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Reliable multicast protocols, throughput stability, semantic reliability
26	Jun Luo 0001, Jean-Pierre Hubaux, Patrick Th. Eugster	PAN: providing reliable storage in mobile ad hoc networks with probabilistic quorum systems.	MobiHoc	2003	DBLP DOI BibTeX RDF	reliable data storage, mobile ad hoc networks, multicast, replication, gossiping, quorum systems
26	Kensuke Shibata, Koji Okamura, Keijiro Araki	Design and Evaluation of Dynamic Protocol Selection Architecture for Reliable Multicast.	SAINT	2002	DBLP DOI BibTeX RDF	reliable multicast transport, protocol, active network, IP multicast, application layer
26	Giuseppe Anastasi, Alberto Bartoli, Francesco Spadoni	A Reliable Multicast Protocol for Distributed Mobile Systems: Design and Evaluation.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	dynamic membership, Mobile computing, reliable multicast, total ordering, causal ordering
26	Qixiang Sun, Daniel C. Sturman	A Gossip-Based Reliable Multicast for Large-Scale High-Throughput Applications.	DSN	2000	DBLP DOI BibTeX RDF	gossip style, log-based, reliable multicast
26	Jaiwant Mulik, Phillip Conrad, Yuan Shi	Simple Reliable Multicast for Parallel Processing in Extended LANs.	LCN	2000	DBLP DOI BibTeX RDF	simple reliable multicast, extended LAN, master program, worker program, tuple-space mechanism, Synergy system, performance, parallel processing, parallel processing, broadcasting, broadcasting, local area networks, multicast communication, communication costs, computer network reliability
26	Chin-Chun Chang, Wen-Hsiang Tsai	Reliable Determination of Object Pose from Line Features by Hypothesis Testing.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	3D-to-2D, reliable estimated poses, hypothesis testing, reject option, object poses, line features
26	Sandeep K. S. Gupta, Pradip K. Srimani	An Adaptive Protocol for Reliable Multicast in Mobile Multi-hop Radio Networks.	WMCSA	1999	DBLP DOI BibTeX RDF	Mobile Multi-hop Networks, Adaptive Communication Protocol, Mobile Ad Hoc Networks, Group Communication, Multicast Routing, Reliable Communication, Fault-tolerant Communication
26	Ioanis Nikolaidis, Janelle J. Harms	A Logical Ring Reliable Multicast Protocol for Mobile Nodes.	ICNP	1999	DBLP DOI BibTeX RDF	Reliable Multicast Protocols, Handoff Protocols, Mobile Networks
26	Jim Gemmell, Jörg Liebeherr, Dave Bassett	An API for Scalable Reliable Multicast.	ICCCN	1997	DBLP DOI BibTeX RDF	application programming interface, Reliable multicast, IP multicast, cache management
26	Joep L. W. Kessels	PHILAN: A LAN Providing a Reliable Message Service for Distributed Processing.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	reliable message service, PHILAN, protocol, protocols, distributed processing, local area network, local area networks, packet-switched, packet-switching, packet switching, LAN, circuit-switched, real-time constraints, ring topology, processing speed
26	Yue Xu 0001, Yuefeng Li	Generating concise association rules.	CIKM	2007	DBLP DOI BibTeX RDF	redundant association rules, generators, closed itemsets
25	Louise E. Moser, P. M. Melliar-Smith, Ruppert R. Koch, K. Berket	A Group Communication Protocol for CORBA.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	Reliable Ordered Message Delivery, Fault Tolerance, Common Object Request Broker Architecture, Group Communication
25	Roger G. Kermode	Scoped Hybrid Automatic Repeat reQuest with Forward Error Correction (SHARQFEC).	SIGCOMM	1998	DBLP DOI BibTeX RDF	administrative-scoping, reliable, scalable, multicast, hierarchy, FEC, ARQ
25	Piyush Maheshwari, Jinsong Ouyang	Supporting fault-tolerance in heterogeneous distributed applications.	Heterogeneous Computing Workshop	1997	DBLP DOI BibTeX RDF	heterogeneous distributed applications, reliable distributed heterogeneous computing, run time performance, library prototype, H-Libra, distributed consistent checkpointing, user-level network communication protocol, high-level message-passing interface, parallel processing, interconnection network, programming, software fault tolerance, software fault-tolerance, rollback-recovery, algorithm design, low cost, parallel task scheduling
25	Gera Goft, Esti Yeger Lotem	The AS/400 Cluster Engine: A Case Study.	ICPP Workshops	1999	DBLP DOI BibTeX RDF	horizontal growth, virtually synchronous group communications, shared-nothing model, callback function, reliable FIFO-ordered multicast, reliable Totally-ordered multicast, Inter-group consistency, Flexible Group Member, strong virtual synchrony, Cluster, high availability, group membership, disaster recovery
24	Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon	PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications.	Ada-Europe	2004	DBLP DOI BibTeX RDF
24	Bugra Gedik, Ling Liu 0001	Reliable Peer-to-Peer Information Monitoring through Replication.	SRDS	2003	DBLP DOI BibTeX RDF
24	Luc Bellissard, Noel De Palma, André Freyssinet, Marc Herrmann, Serge Lacourte	An Agent Platform for Reliable Asynchronous Distributed Programming.	SRDS	1999	DBLP DOI BibTeX RDF
23	Varun Srinivas, Lu Ruan 0001	An efficient reliable multicast protocol for 802.11-based wireless LANs.	WOWMOM	2009	DBLP DOI BibTeX RDF
23	Huafei Zhu, Feng Bao 0001, Robert H. Deng	Robust and Reliable Broadcast Protocols in the Stand-Alone and Simulation-Based Frameworks.	ICC	2008	DBLP DOI BibTeX RDF
23	Peng Xie, Jun-Hong Cui	An FEC-based Reliable Data Transport Protocol for Underwater Sensor Networks.	ICCCN	2007	DBLP DOI BibTeX RDF
23	Ruoheng Liu, Predrag Spasojevic, Emina Soljanin	Reliable channel regions for good binary codes transmitted over parallel channels.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF