Výsledky vyhľadávania - (automatic OR automation) programming[program transformation] general terms reliability

Implementing fault-tolerance in real-time systems by program transformations

Autori: Tolga Ayav Pascal Fradet Alain Girault a ďalší

Prispievatelia: Tolga Ayav Pascal Fradet Alain Girault a ďalší

Zdroj: http://www.cs.york.ac.uk/rts/docs/CODES-EMSOFT-CASES-2006/emsoft/p205.pdf.

Predmety: Categories and Subject Descriptors C.3 [Computer Systems Organization, Special-Purpose and Application-Based Systems, Real-time and embedded systems, D.4.5 [Software, Operating Systems, Reliability [Checkpoint/restart, Fault-tolerance, I.2.2 [Computing Methodologies, Artificial Intelligence, Automatic Programming[Program transformation] General Terms Reliability, Languages. Keywords Fault-tolerance, Heartbeating, Checkpointing, Program transformations

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.5916

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.5916
http://www.cs.york.ac.uk/rts/docs/CODES-EMSOFT-CASES-2006/emsoft/p205.pdf

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

Predmety: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

Software Vulnerability Analysis and Discovery Using Machine-Learning and Data-Mining Techniques: A Survey.

Autori: GHAFFARIAN, SEYED MOHAMMAD SHAHRIARI, HAMID REZA

Zdroj: ACM Computing Surveys; Jul2018, Vol. 50 Issue 4, p56:1-56:36, 36p, 1 Diagram, 5 Charts, 1 Graph

Predmety: COMPUTER software safety measures, MACHINE learning, ARTIFICIAL intelligence, DATA mining, DATABASE searching

Mitigating Program Security Vulnerabilities: Approaches and Challenges.

Autori: Shahriar, Hossain Zulkernine, Mohammad

Zdroj: ACM Computing Surveys; Jun2012, Vol. 44 Issue 3, p11-11:46, 46p, 6 Diagrams, 12 Charts

Predmety: PROGRAMMING languages, COMPUTER security, COMPUTER programming, SOFTWARE engineering, COMPUTER software, COMPUTER science

Literature survey of deep learning‐based vulnerability analysis on source code.

Autori: Semasaba, Abubakar Omari Abdallah Zheng, Wei Wu, Xiaoxue a ďalší

Zdroj: IET Software (Wiley-Blackwell); Dec2020, Vol. 14 Issue 6, p654-664, 11p

Efficient generation of test data structures using constraint logic programming and program transformation.

Autori: FIORAVANTI, FABIO PROIETTI, MAURIZIO SENNI, VALERIO

Zdroj: Journal of Logic & Computation; Dec2015, Vol. 25 Issue 6, p1263-1283, 21p

Predmety: DATA structures, LOGIC programming, PROGRAM transformation, MATHEMATICAL bounds, COMPUTATIONAL complexity

Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

Autori: Peter Müller

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses, Natural language processing (Computer science)

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Hardware / General, COMPUTERS / Speech & Audio Processing

The Complexity of Adding Multitolerance.

Autori: CHEN, JINGSHU EBNENASIR, ALI KULKARNI, SANDEEP

Zdroj: ACM Transactions on Autonomous & Adaptive Systems; Oct2014, Vol. 9 Issue 3, p15-15:33, 33p

Predmety: COMPUTATIONAL complexity, FAULT-tolerant computing, COMPUTER programming, POLYNOMIAL time algorithms, PROBLEM solving

The SSP: an example of high-assurance systems engineering.

Autori: Wickstrom, G.L. Davis, J. Morrison, S.E. a ďalší

Zdroj: 2004 Proceedings of the Eighth IEEE International Symposium on High Assurance Systems Engineering; 2004, p167-177, 11p

THE OPERATIONAL VERSUS THE CONVENTIONAL APPROACH TO SOFTWARE DEVELOPMENT.

Autori: Zave, Pamela

Zdroj: Communications of the ACM; Feb1984, Vol. 27 Issue 2, p104-118, 15p, 8 Diagrams, 3 Charts

Predmety: COMPUTER software development, COMPUTER programming

A Survey of Proposed Architectures for the Execution of Functional Languages.

Autori: Vegdahl

Zdroj: IEEE Transactions on Computers; 1984, Vol. C-33 Issue 12, p1050-1071, 22p

Processes, Terms and Cycles: Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

Autori: Aart Middeldorp Vincent van Oostrom Femke van Raamsdonk a ďalší

Typ zdroja: eBook.

Predmet: Processes, Infinite, Lambda calculus, Rewriting systems (Computer science)

Kategórie: COMPUTERS / Programming / General, MATHEMATICS / Infinity, MATHEMATICS / Logic

Hagenberg Research

Autori: Bruno Buchberger Michael Affenzeller Alois Ferscha a ďalší

Typ zdroja: eBook.

Predmet: Electronic data processing, Computer science

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / User Interfaces, COMPUTERS / Human-Computer Interaction (HCI)

Parallel Computing Technologies : 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings

Autori: Victor Malyshkin

Typ zdroja: eBook.

Predmet: Computer programming, Computer systems, Software engineering, Computer engineering, Computer networks, Computer science, Algorithms

Kategórie: COMPUTERS / Programming / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Hardware / General

Building Software Teams : Ten Best Practices for Effective Software Development

Autori: Joost Visser Sylvan Rigal Gijs Wijnholds a ďalší

Typ zdroja: eBook.

Predmet: Teams in the workplace, Computer programming--Management, Computer software--Development, Computer software--Development--Management

Kategórie: COMPUTERS / Software Development & Engineering / Project Management, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing

A List of Successes That Can Change the World

Autori: Sam Lindley Conor McBride Phil Trinder a ďalší

Typ zdroja: eBook.

Predmet: Computer science, Compilers (Computer programs), Software engineering, Machine theory, Computer programming

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Building Maintainable Software, C# Edition : Ten Guidelines for Future-Proof Code

Autori: Joost Visser Sylvan Rigal Gijs Wijnholds a ďalší

Typ zdroja: eBook.

Predmet: Computer software--Development, Computer software--Quality control, C# (Computer program language)

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, COMPUTERS / Software Development & Engineering / Tools

Building Maintainable Software, Java Edition : Ten Guidelines for Future-Proof Code

Autori: Joost Visser Sylvan Rigal Rob van der Leek a ďalší

Typ zdroja: eBook.

Predmet: Computer software--Quality control, Java (Computer program language), Computer software--Development

Kategórie: COMPUTERS / Software Development & Engineering / General, COMPUTERS / Software Development & Engineering / Quality Assurance & Testing, COMPUTERS / Software Development & Engineering / Tools

Practical Aspects of Declarative Languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings

Autori: Manuel Carro Ricardo Peña

Typ zdroja: eBook.

Predmet: Compilers (Computer programs), Software engineering, Computer science, Computer programming

Kategórie: COMPUTERS / Programming / Compilers, COMPUTERS / Computer Science, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General

Logic Programming : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009, Proceedings

Autori: Patricia M. Hill David S. Warren

Typ zdroja: eBook.

Predmet: Computer science, Compilers (Computer programs), Computer programming, Computer science—Mathematics, Artificial intelligence

Kategórie: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / Compilers, COMPUTERS / Programming / General, MATHEMATICS / Applied