Sortiert nach
2021 40th International Symposium on Reliable Distributed Systems (SRDS), 2021, p.154-163
2021
- Link zum Volltext
2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS), 2016, p.25-34
2016
- Link zum Volltext
2018 IEEE 38th International Conference on Distributed Computing Systems (ICDCS), 2018, p.730-741
2018
- Link zum Volltext
Proceedings of the 13th ACM SIGPLAN Symposium on principles and practice of parallel programming, 2008, p.237-246
2008
Link zum Volltext
2014 IEEE 30th International Conference on Data Engineering Workshops, 2014, p.296-302
2014
- Link zum Volltext
2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2019, p.414-421
2019
Link zum Volltext
Data and Applications Security and Privacy XXXV, p.189-208
Link zum Volltext
2015 IEEE 34th Symposium on Reliable Distributed Systems (SRDS), 2015, p.84-93
2015
- Link zum Volltext
Frontiers of Combining Systems, p.3-24
Link zum Volltext
2014 IEEE 33rd International Symposium on Reliable Distributed Systems, 2014, p.343-344
2014
- Link zum Volltext
2014 IEEE 33rd International Symposium on Reliable Distributed Systems, 2014, p.335-336
2014
- Link zum Volltext
2021 40th International Symposium on Reliable Distributed Systems (SRDS), 2021, p.56-66
2021
- Link zum Volltext
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2020, p.502-514
2020
Link zum Volltext
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, p.626-632
Link zum Volltext
2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), 2010, p.iv-iv
2010
- Link zum Volltext
Proceedings of the 2015 ACM SIGMOD International Conference on management of data, 2015, p.889-894
2015
Link zum Volltext
Formal Methods and Software Engineering, p.268-283
Link zum Volltext
Distributed Computing, 2006, p.284-298
2006
Link zum Volltext
2012 Second International Conference on Cloud and Green Computing, 2012, p.118-125
2012
- Link zum Volltext
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017, 2017, p.282-285
2017
- Link zum Volltext
Transactional Memory. Foundations, Algorithms, Tools, and Applications, p.245-267
Link zum Volltext
Formal Techniques for Safety-Critical Systems, p.189-205
Link zum Volltext
2014 IEEE 33rd International Symposium on Reliable Distributed Systems, 2014, p.232-241
2014
- Link zum Volltext
2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS), 2018, p.123-132
2018
- Link zum Volltext
Stabilization, Safety, and Security of Distributed Systems, p.222-238
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Computer Science, Hardware & Architecture
- Computer Science, Information Systems
- Engineering
- Engineering, Electrical & Electronic
- Computer Science, Software Engineering
- Hardware
- Cloud Computing
- Fault Tolerance
- Computer Crashes
- Runtime
- Scalability
- Transactional Memory
- Software
- Delay
- Security
- Protocols