Search Results - computer programming. programming languages ((elektronisk OR elektronik) computers)

Designer’s Guide to VHDL (3rd Edition) by Ashenden, Peter J.

“…VHDL, the IEEE standard hardware description language for describing digital electronic systems, allows engineers to describe the structure and specify the function of a digital system as well…”
Get full text

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings by Ahmed, Amal

“… The papers are organized in topical sections named: language design; probabilistic programming…”
Get full text

Recovering from a decade: a systematic mapping of information retrieval approaches to software traceability by Borg, Markus, Runeson, Per, Ardö, Anders

“…Engineers in large-scale software development have to manage large amounts of information, spread across many artifacts. Several researchers have proposed…”
Get full text

Critical scenario identification for realistic testing of autonomous driving systems by Song, Qunying, Tan, Kaige, Runeson, Per, Persson, Stefan

“…Autonomous driving has become an important research area for road traffic, whereas testing of autonomous driving systems to ensure a safe and reliable…”
Get full text

Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar by Autili, Marco, Grunske, Lars, Lumpe, Markus, Pelliccione, Patrizio, Tang, Antony

“…Formal methods offer an effective means to assert the correctness of software systems through mathematical reasoning. However, the need to formulate system…”
Get full text

Solving large instances of the RSA problem in flexgrid elastic optical networks by Klinkowski, Miroslaw, Zotkiewicz, Mateusz, Walkowiak, Krzysztof, Pioro, Michal, Ruiz, Marc, Velasco, Luis

“…We present an optimization procedure that mixes advanced large-scale optimization methods and heuristics to solve large instances (with over 1.7 million…”
Get full text

Improving requirements-test alignment by prescribing practices that mitigate communication gaps by Bjarnason, Elizabeth, Sharp, Helen, Regnell, Björn

“…The communication of requirements within software development is vital for project success. Requirements engineering and testing are two processes that when…”
Get full text

Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality by Abel, Andreas, Coquand, Thierry

“…Normalization fails in type theory with an impredicative universe of propositions and a proof-irrelevant propositional equality. The counterexample to…”
Get full text

Using text clustering to predict defect resolution time: a conceptual replication and an evaluation of prediction accuracy by Assar, Saïd, Borg, Markus, Pfahl, Dietmar

“…Defect management is a central task in software maintenance. When a defect is reported, appropriate resources must be allocated to analyze and resolve the…”
Get full text

Excel 2010 power programming with VBA by Walkenbach, John

“…All the methods and tools you need to successfully program with Excel.John Walkenbach's name is synonymous with excellence in computer books that decipher complex technical topics…”
Get full text

Programming for Computations: Python : A Gentle Introduction to Numerical Simulations with Python by Linge, Svein, Langtangen, Hans Petter

“…Numerical simulations; programming; Python…”
Get full text

TouchDevelop: Programming on the Go by Horspool, Nigel, Tillmann, Nikolai, Bishop, Judith

“…Computer science…”
Get full text

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings by Russo, Alessandra, Schürr, Andy

“…; programming languages; semantics; software engineering; specifications; verification…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II by Beyer, Dirk, Huisman, Marieke

“…; program compilers; programming languages; semantics; software engineering; specifications; state space; verification…”
Get full text

Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms by Bullo, Francesco, Cortés, Jorge, Martínez, Sonia

“…This self-contained introduction to the distributed control of robotic networks offers a distinctive blend of computer science and control theory…”
Get full text

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings by Baier, Christel, Dal Lago, Ugo

“…artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language…”
Get full text

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I by Beyer, Dirk, Huisman, Marieke

“…; internet; privacy; program compilers; programming languages; security systems; semantics; separation logic; software engineering…”
Get full text

Professional CUDA® C programming by Cheng, John, Grossman, Max, McKercher, Ty

“…Professional CUDA Programming in C provides down to earth coverage of the complex topic of parallel computing, a topic increasingly essential in every day computing…”
Get full text

Extending Languages by Leveraging Compilers: From Modelica to Optimica by Hedin, Görel, Åkesson, J, Ekman, Torbjörn

“…Constructing compilers using ordinary object-oriented programming takes advantage of parser generators to construct abstract syntax trees (ASTs…”
Get full text

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings by Bauer, Lujo, Küsters, Ralf

“…; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering…”
Get full text