Search results for "reliable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Irene Greif, Robert Seliger, William E. Weihl	A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	distributed collaborative editing system, reliable distributed programs, remotely accessible data, user-defined data types, data structures, groupware, distributed applications, parallel languages, text editing, Argus
16	Bharat K. Bhargava, John Riedl	The Raid Distributed Database System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Raid distributed database system, adaptable distributed database system, consistent replicated copies, site failures, atomic distributed commitment, layered communications package, location-independent interface, high-performance configuration, reliable distributed transaction processing, transaction processing time, server CPU time, consistent replicated copy control, concurrent distributed checkpointing, transaction processing algorithms, software tool, distributed databases, concurrency control, shared memory, transaction processing, infrastructure, software packages, operating system kernel, concurrent processing, message-passing system, computer communications software
14	G. S. Karthick	Energy-Aware Reliable Medium Access Control Protocol for Energy-Efficient and Reliable Data Communication in Wireless Sensor Networks.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
14	Iulisloi Zacarias, Francisco Carpio, André Costa Drummond, Admela Jukan	Optimum Network Slicing for Ultra-reliable Low Latency Communication (URLLC) Services in Campus Networks.	DRCN	2023	DBLP DOI BibTeX RDF
14	Shadi Attarha, Saurabh Band, Anna Förster	Automated Fault Detection Framework for Reliable Provision of IoT Applications in Agriculture.	DRCN	2023	DBLP DOI BibTeX RDF
14	Thomas Zachariah, Neal Jackson, Branden Ghena, Prabal Dutta	ReliaBLE: Towards Reliable Communication via Bluetooth Low Energy Advertisement Networks.	EWSN	2022	DBLP BibTeX RDF
14	Chunfu Jia, Shaoqiang Wu, Ding Wang 0002	Reliable Password Hardening Service with Opt-Out.	SRDS	2022	DBLP DOI BibTeX RDF
14	Christian de Ronde, Hector Freytes, Giuseppe Sergioli	Quantum probability: a reliable tool for an agent or a reliable source of reality?	Synth.	2021	DBLP DOI BibTeX RDF
14	Donghyun Han, Hayoung Lee, Seungtaek Lee, Sungho Kang 0001	ECC-Aware Fast and Reliable Pattern Matching Redundancy Analysis for Highly Reliable Memory.	IEEE Access	2021	DBLP DOI BibTeX RDF
14	Nicola Di Cicco, Valentina Cacchiani, Carla Raffaelli	Scalable Multi-objective Optimization of Reliable Latency-constrained Optical Transport Networks.	DRCN	2021	DBLP DOI BibTeX RDF
14	Brandon Foubert, Nathalie Mitton	Lightweight network interface selection for reliable communications in multi-technologies wireless sensor networks.	DRCN	2021	DBLP DOI BibTeX RDF
14	Rui Kang, Mengfei Zhu, Fujun He, Takehiro Sato, Eiji Oki	Design of Scheduler Plugins for Reliable Function Allocation in Kubernetes.	DRCN	2021	DBLP DOI BibTeX RDF
14	Dhananjay Jagtap, Pat Pannuto	Reliable Energy Sources as a Foundation for Reliable Intermittent Systems.	ENSsys@SenSys	2020	DBLP DOI BibTeX RDF
14	Davide Ancona, Chiara Bassano, Manuela Chessa, Viviana Mascardi, Fabio Solari	Engineering Reliable Interactions in the Reality-Artificiality Continuum.	AREA@ECAI	2020	DBLP DOI BibTeX RDF
14	Connor Basich, Justin Svegliato, Kyle Hollins Wray, Stefan J. Witwicki, Shlomo Zilberstein	Improving Competence for Reliable Autonomy.	AREA@ECAI	2020	DBLP DOI BibTeX RDF
14	Victoria Edwards, Loy McGuire, Signe A. Redfield	Establishing Reliable Robot Behavior using Capability Analysis Tables.	AREA@ECAI	2020	DBLP DOI BibTeX RDF
14	Eduardo Alberto Canale, Guillermo Rela, Franco Robledo, Pablo Romero, Luis Stábile	Design of Most-Reliable Cubic Networks by Augmentations.	DRCN	2020	DBLP DOI BibTeX RDF
14	Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy	Reliable State Machines: A Framework for Programming Reliable Cloud Services.	CoRR	2019	DBLP BibTeX RDF
14	Moumita Roy, Chandreyee Chowdhury, Munshi Navid Anjum, Sarmistha Neogy	Designing secure and reliable mobile agent based system for reliable MANET.	Int. J. Ad Hoc Ubiquitous Comput.	2019	DBLP DOI BibTeX RDF
14	Yun Long, Xueyuan She, Saibal Mukhopadhyay	Design of Reliable DNN Accelerator with Un-reliable ReRAM.	DATE	2019	DBLP DOI BibTeX RDF
14	Suvam Mukherjee, Nitin John Raj, Krishnan Govindraj, Pantazis Deligiannis, Chandramouleswaran Ravichandran, Akash Lal, Aseem Rastogi, Raja Krishnaswamy	Reliable State Machines: A Framework for Programming Reliable Cloud Services.	ECOOP	2019	DBLP DOI BibTeX RDF
14	Jeremias Blendin	Reliable Network Services in Future Internet Service Provider Networks: Reliable and Efficient Control Plane Applications for Virtualized Data Planes in Software-Defined Networking.		2019	RDF
14	Sin Ban Ho, Nur Azyyati Ahmad, Ian Chai, Chuie Hong Tan, Swee-Ling Chean	Modeling Reliable Intelligent Blockchain with Architectural Pattern.	IRICT	2019	DBLP DOI BibTeX RDF
14	Mathias Bourel, Eduardo A. Canale, Franco Robledo, Pablo Romero, Luis Stábile	Building Highly Reliable Networks with GRASP/VND Heuristics.	DRCN	2019	DBLP DOI BibTeX RDF
14	Joao Barraca Filipe, Flavio Meneses, Asad-ur-rehman, Daniel Corujo, Rui L. Aguiar	A Performance Comparison of Containers and Unikernels for Reliable 5G Environments.	DRCN	2019	DBLP DOI BibTeX RDF
14	Anna Engelmann, Admela Jukan, Rastin Pries	On Coding for Reliable VNF Chaining in DCNs.	DRCN	2019	DBLP DOI BibTeX RDF
14	James H. Nguyen, Wei Yu 0002, Daniel T. Ku	Reliable Transport for Mobile Ad Hoc Networks with Constrained Application Protocol (CoAP) over Negative-Acknowledgment Oriented Reliable Multicast (NORM).	ICNC	2018	DBLP DOI BibTeX RDF
14	António Casimiro, Pedro Miguel Ferreira (eds.)	Reliable Software Technologies - Ada-Europe 2018 - 23rd Ada-Europe International Conference on Reliable Software Technologies, Lisbon, Portugal, June 18-22, 2018, Proceedings	Ada-Europe	2018	DBLP DOI BibTeX RDF
14	Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri	Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation.	Ada-Europe	2018	DBLP DOI BibTeX RDF
14	Jorge Garrido, Juan Zamorano, Alejandro Alonso 0001, Juan Antonio de la Puente	On the Effect of Protected Entry Servicing Policies on the Response Time of Ada Tasks.	Ada-Europe	2018	DBLP DOI BibTeX RDF
14	Johann Blieberger, Bernd Burgstaller	Safe Non-blocking Synchronization in Ada2x.	Ada-Europe	2018	DBLP DOI BibTeX RDF
14	Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho	Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP.	Ada-Europe	2018	DBLP DOI BibTeX RDF
14	Omar Jaradat, Sasikumar Punnekkat	Using Safety Contracts to Verify Design Assumptions During Runtime.	Ada-Europe	2018	DBLP DOI BibTeX RDF
14	Maroua Maalej, S. Tucker Taft, Yannick Moy	Safe Dynamic Memory Management in Ada and SPARK.	Ada-Europe	2018	DBLP DOI BibTeX RDF
14	Jorge Real, Sergio Sáez, Alfons Crespo	Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar.	Ada-Europe	2018	DBLP DOI BibTeX RDF
14	Filip Markovic, Jan Carlson, Radu Dobrin	Improved Cache-Related Preemption Delay Estimation for Fixed Preemption Point Scheduling.	Ada-Europe	2018	DBLP DOI BibTeX RDF
14	Stefano Munari, Sebastiano Valle, Tullio Vardanega	Microservice-Based Agile Architectures: An Opportunity for Specialized Niche Technologies.	Ada-Europe	2018	DBLP DOI BibTeX RDF
14	J. Javier Gutiérrez, Héctor Pérez 0001	Theory and Practice of EDF Scheduling in Distributed Real-Time Systems.	Ada-Europe	2018	DBLP DOI BibTeX RDF
14	Peter Fu-Ming Hu, Shiming Yang, Hsiao-Chi Li, Lynn G. Stansbury, Fan Yang, George Hagegeorge, Catriona Miller, Peter Rock, Deborah M. Stein, Colin F. Mackenzie	Reliable Collection of Real-Time Patient Physiologic Data from less Reliable Networks: a "Monitor of Monitors" System (MoMs).	J. Medical Syst.	2017	DBLP DOI BibTeX RDF
14	Johann Blieberger, Markus Bader (eds.)	Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings	Ada-Europe	2017	DBLP DOI BibTeX RDF
14	Isabel Madeleine Runge, Reiner Kolla	MCGC: A Network Coding Approach for Reliable Large-scale Wireless Networks.	FAILSAFE@SenSys	2017	DBLP DOI BibTeX RDF
14	Bertil Chapuis, Benoît Garbinato, Lucas Mourot	A Horizontally Scalable and Reliable Architecture for Location-Based Publish-Subscribe.	SRDS	2017	DBLP DOI BibTeX RDF
14	Jordan Adamek, Mikhail Nesterenko, James Scott Robinson, Sébastien Tixeuil	Stateless Reliable Geocasting.	SRDS	2017	DBLP DOI BibTeX RDF
14	Sara Royuela, Xavier Martorell, Eduardo Quiñones, Luís Miguel Pinho	OpenMP Tasking Model for Ada: Safety and Correctness.	Ada-Europe	2017	DBLP DOI BibTeX RDF
14	Jorge Garrido, Juan Zamorano, Alejandro Alonso 0001, Juan Antonio de la Puente	Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile.	Ada-Europe	2017	DBLP DOI BibTeX RDF
14	Paolo Carletto, Tullio Vardanega	Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime.	Ada-Europe	2017	DBLP DOI BibTeX RDF
14	Seongho Jeong, Shinhyung Yang, Bernd Burgstaller	Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions.	Ada-Europe	2017	DBLP DOI BibTeX RDF
14	Xiaotian Dai 0001, Alan Burns 0001	Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems.	Ada-Europe	2017	DBLP DOI BibTeX RDF
14	Alan Burns 0001, Sanjoy K. Baruah	Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework.	Ada-Europe	2017	DBLP DOI BibTeX RDF
14	Suzana Milutinovic, Jaume Abella 0001, Irune Agirre, Mikel Azkarate-askasua, Enrico Mezzetti, Tullio Vardanega, Francisco J. Cazorla	Software Time Reliability in the Presence of Cache Memories.	Ada-Europe	2017	DBLP DOI BibTeX RDF
14	António Casimiro, Inês Pinto Gouveia, José Rufino	Enforcing Timeliness and Safety in Mission-Critical Systems.	Ada-Europe	2017	DBLP DOI BibTeX RDF
14	Jorge Garrido, Shuai Zhao 0004, Alan Burns 0001, Andy J. Wellings	Supporting Nested Resources in MrsP.	Ada-Europe	2017	DBLP DOI BibTeX RDF
14	Roberto Medina 0001, Etienne Borde, Laurent Pautet	Directed Acyclic Graph Scheduling for Mixed-Criticality Systems.	Ada-Europe	2017	DBLP DOI BibTeX RDF
14	Patrick Rogers, José F. Ruiz, Tristan Gingold, Patrick Bernardi	A New Ravenscar-Based Profile.	Ada-Europe	2017	DBLP DOI BibTeX RDF
14	Roderick Chapman	Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong...).	Ada-Europe	2017	DBLP DOI BibTeX RDF
14	Alejandro R. Mosteo	RxAda: An Ada implementation of the ReactiveX API.	Ada-Europe	2017	DBLP DOI BibTeX RDF
14	Enrique Díaz, Mikel Fernández, Leonidas Kosmidis, Enrico Mezzetti, Carles Hernández 0001, Jaume Abella 0001, Francisco J. Cazorla	MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding.	Ada-Europe	2017	DBLP DOI BibTeX RDF
14	Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi 0001	An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada.	Ada-Europe	2017	DBLP DOI BibTeX RDF
14	Varun G. Menon, Joe Prathap Pathrose, Jogi Priya	Ensuring Reliable Communication in Disaster Recovery Operations with Reliable Routing Technique.	Mob. Inf. Syst.	2016	DBLP DOI BibTeX RDF
14	Marko Bertogna, Luís Miguel Pinho, Eduardo Quiñones (eds.)	Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings	Ada-Europe	2016	DBLP DOI BibTeX RDF
14	Abdesselem Kortebi, Olivier Bouchet, Anil Mengi, Helmut Lucht, Marcin Brzozowski, Oliver Maye, Pavel Celeda, Jan Pazdera	Convergent and reliable hybrid home networks.	DRCN	2016	DBLP DOI BibTeX RDF
14	Christian Dombrowski, Sebastian Junges, Joost-Pieter Katoen, James Gross	Model-Checking Assisted Protocol Design for Ultra-reliable Low-Latency Wireless Networks.	SRDS	2016	DBLP DOI BibTeX RDF
14	Ting Peng, Kilian Hoflinger, Benjamin Weps, Olaf Maibaum, Kurt Schwenk, Daniel Lüdtke, Andreas Gerndt	A Component-Based Middleware for a Reliable Distributed and Reconfigurable Spacecraft Onboard Computer.	SRDS	2016	DBLP DOI BibTeX RDF
14	Stefan Lohs, Jörg Nolte, Gerry Siegemund, Volker Turau	Self-Stabilization - A Mechanism to Make Networked Embedded Systems More Reliable?	SRDS	2016	DBLP DOI BibTeX RDF
14	Chin-Jung Hsu, Rajesh K. Panta, Moo-Ryong Ra, Vincent W. Freeh	Inside-Out: Reliable Performance Prediction for Distributed Storage Systems in the Cloud.	SRDS	2016	DBLP DOI BibTeX RDF
14	Nawanol Theera-Ampornpunt, Tarun Mangla, Saurabh Bagchi, Rajesh Krishna Panta, Kaustubh R. Joshi, Mostafa H. Ammar, Ellen W. Zegura	TANGO: Toward a More Reliable Mobile Streaming through Cooperation between Cellular Network and Mobile Devices.	SRDS	2016	DBLP DOI BibTeX RDF
14	Ugaitz Amozarrain, Mikel Larrea	Reliable Event Dissemination in Dynamic Distributed Systems.	SRDS	2016	DBLP DOI BibTeX RDF
14	Mohsen Laali, Huai Liu, Margaret Hamilton 0001, Maria Spichkova, Heinz W. Schmidt	Test Case Prioritization Using Online Fault Detection Information.	Ada-Europe	2016	DBLP DOI BibTeX RDF
14	Abhilash Thekkilakattil, Kaiqian Zhu, Yonggao Nie, Radu Dobrin, Sasikumar Punnekkat	An Empirical Investigation of Eager and Lazy Preemption Approaches in Global Limited Preemptive Scheduling.	Ada-Europe	2016	DBLP DOI BibTeX RDF
14	Jorge Real, Sergio Sáez, Alfons Crespo	Combining Time-Triggered Plans with Priority Scheduled Task Sets.	Ada-Europe	2016	DBLP DOI BibTeX RDF
14	Franco Mazzanti	An Experience in Ada Multicore Programming: Parallelisation of a Model Checking Engine.	Ada-Europe	2016	DBLP DOI BibTeX RDF
14	Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi 0001	Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model.	Ada-Europe	2016	DBLP DOI BibTeX RDF
14	Alan Burns 0001	Why the Expressive Power of Programming Languages Such as Ada Is Needed for Future Cyber Physical Systems.	Ada-Europe	2016	DBLP DOI BibTeX RDF
14	HaiTao Mei 0001, Ian Gray, Andy J. Wellings	Real-Time Stream Processing in Java.	Ada-Europe	2016	DBLP DOI BibTeX RDF
14	Robert Mittermayr, Johann Blieberger	Kronecker Algebra for Static Analysis of Barriers in Ada.	Ada-Europe	2016	DBLP DOI BibTeX RDF
14	Héctor Pérez 0001, J. Javier Gutiérrez, Michael González Harbour, J. Carlos Palencia	The Polling Effect on the Schedulability of Distributed Real-Time Systems.	Ada-Europe	2016	DBLP DOI BibTeX RDF
14	Andrew V. Jones	Addressing the Regression Test Problem with Change Impact Analysis for Ada.	Ada-Europe	2016	DBLP DOI BibTeX RDF
14	Martin Wittiger	Eliminating Data Race Warnings Using CSP.	Ada-Europe	2016	DBLP DOI BibTeX RDF
14	Laura Baracchi, Silvia Mazzini, Stefano Puri, Tullio Vardanega	Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development.	Ada-Europe	2016	DBLP DOI BibTeX RDF
14	Yang Li 0041, Jianke Zhu, Steven C. H. Hoi	Reliable Patch Trackers: Robust visual tracking by exploiting reliable patches.	CVPR	2015	DBLP DOI BibTeX RDF
14	Juan Antonio de la Puente, Tullio Vardanega (eds.)	Reliable Software Technologies - Ada-Europe 2015 - 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings	Ada-Europe	2015	DBLP DOI BibTeX RDF
14	Alessio Giorgetti, Andrea Sgambelluri, Francesco Paolucci, Piero Castoldi	Reliable segment routing.	RNDM@WMNC	2015	DBLP DOI BibTeX RDF
14	Pengxing Guo, Weigang Hou, Lei Guo 0005, Qing Cai, Yue Zong, Dandan Huang	Reliable routing in 3D optical Network-on-Chip based on fault node reuse.	RNDM@WMNC	2015	DBLP DOI BibTeX RDF
14	Feng Ye, Yi Qian 0001, Rose Qingyang Hu	Design for reliable and self-sustaining neighborhood area network in smart grid.	DRCN	2015	DBLP DOI BibTeX RDF
14	Antonio Capone, Carmelo Cascone, Alessandro Q. T. Nguyen, Brunilde Sansò	Detour planning for fast and reliable failure recovery in SDN with OpenState.	DRCN	2015	DBLP DOI BibTeX RDF
14	Shengjie Xu, Yi Qian 0001	Quantitative study of reliable communication infrastructure in smart grid NAN.	DRCN	2015	DBLP DOI BibTeX RDF
14	Hana Mkaouar, Bechir Zalila, Jérôme Hugues, Mohamed Jmaiel	From AADL Model to LNT Specification.	Ada-Europe	2015	DBLP DOI BibTeX RDF
14	András Balázs, Attila Baksa, H. Bitterlich, I. Hernyes, O. Küchemann, Zoltan Pálos, J. Rustenbach, W. Schmidt, Péter Spányi, J. Sulyán, Sándor Szalai, Laszlo Várhalmi	The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission.	Ada-Europe	2015	DBLP DOI BibTeX RDF
14	Luís Miguel Pinho, Brad Moore, Stephen Michell, S. Tucker Taft	An Execution Model for Fine-Grained Parallelism in Ada.	Ada-Europe	2015	DBLP DOI BibTeX RDF
14	Jesús Fernández 0001, Héctor Pérez 0001, J. Javier Gutiérrez, Michael González Harbour	AFDX Emulator for an ARINC-Based Training Platform.	Ada-Europe	2015	DBLP DOI BibTeX RDF
14	Jon Pérez 0001, David González, Salvador Trujillo, Ton Trapman	A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning.	Ada-Europe	2015	DBLP DOI BibTeX RDF
14	Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri	The CONCERTO Methodology for Model-Based Development of Avionics Software.	Ada-Europe	2015	DBLP DOI BibTeX RDF
14	Omar Jaradat, Iain Bate, Sasikumar Punnekkat	Using Sensitivity Analysis to Facilitate the Maintenance of Safety Cases.	Ada-Europe	2015	DBLP DOI BibTeX RDF
14	Domenik Pavletic, Markus Voelter, Syed Aoun Raza, Bernd Kolb, Timo Kehrer	Extensible Debugger Framework for Extensible Languages.	Ada-Europe	2015	DBLP DOI BibTeX RDF
14	Husni Khanfar, Björn Lisper, Abu Naser Masud	Static Backward Program Slicing for Safety-Critical Systems.	Ada-Europe	2015	DBLP DOI BibTeX RDF
14	Geoffrey Nelissen, David Pereira, Luís Miguel Pinho	A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring.	Ada-Europe	2015	DBLP DOI BibTeX RDF
14	Juan Zamorano, Jorge Garrido	Schedulability Analysis of PWM Tasks for the UPMSat-2 ADCS.	Ada-Europe	2015	DBLP DOI BibTeX RDF
14	Santiago Urueña, Nuria Pérez, Bruno N. Calvo, Carlos Flores, Andreas Jung	Guaranteeing Timing Requirements in the IXV On-Board Software.	Ada-Europe	2015	DBLP DOI BibTeX RDF
14	Sebastiano Catellani, Luca Bonato, Sebastian Huber, Enrico Mezzetti	Challenges in the Implementation of MrsP.	Ada-Europe	2015	DBLP DOI BibTeX RDF
14	Laurent George 0001, Tullio Vardanega (eds.)	Reliable Software Technologies - Ada-Europe 2014, 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings	Ada-Europe	2014	DBLP DOI BibTeX RDF