Sökning: "debugging"

Visar resultat 11 - 15 av 56 avhandlingar innehållade ordet debugging.

1. 11. Unwrapping Cobol : Lessons in Crisis Computing

   Författare :Linda Hilfling Ritasdatter; Susan Kozel; Maria Hellström Reimer; Florian Cramer; Nishant Shah; Malmö universitet; []
   Nyckelord :Crisis; Execution; Maintenance; Cobol; Automation; Global Flows; Y2K; Human Factor; Outsourcing; Development; Legacy Systems; Programming Languages; History of Computing; HCI; Software Wrapping; Postcolonial Studies; Diffraction; Broken world thinking; Grace Hopper; Media Archaeology; Debugging; Zombie Media; Obsolescence; Technological Development; Unsettling Ontologies; Fourth Industrial Revolution; Artificial Intelligence; Interaktionsdesign; Interaktionsdesign;

   Sammanfattning : By engaging with COBOL, a detested and would-be obsolete programming language, the dark sides of automation are examined in this thesis: hidden workforces and computational infrastructures that are, in reality, central to the execution and maintenance of global economic and informational flows. Frictions within these flows are made more visible in moments of crisis when asymmetrical power structures are surfaced, as demonstrated in an analysis of the infamous Y2K Bug, its connection to the outsourcing boom in India and the legacy of COBOL. LÄS MER

3. 12. Proving the correctness of a virtual machine by a bisimulation

   Författare :Mikael Rittri; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; stack machine; snapshot; one-step reduction; interpreter correctness; verification mapping; bisimulation; operational semantics; compiler correctness; SECD--machine; context; McGowan mapping; state-trace; debugging;

   Sammanfattning : .... LÄS MER

4. 13. Declarative debugging for lazy functional languages

   Författare :Henrik Nilsson; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : Lazy functional languages are declarative and allow the programmer to write programs where operational issues such as the evaluation order are left implicit. It is desirable to maintain a declarative view also during debugging so as to avoid burdening the programmer with operational details, for example concerning the actual evaluation order which tends to be difficult to follow. LÄS MER

5. 14. Debugging techniques for equation-based languages

   Författare :Peter Bunus; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : Mathematical modeling and simulation of complex physical systems is emerging as a key technology in engineering. Modern approaches to physical system simulation allow users to specify simulation models with the help of equation-based languages. LÄS MER

7. 15. Debugging metabarcoding for insect biodiversity studies

   Författare :Daniel Marquina Hernández; Fredrik Ronquist; Owen Wangensteen; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; metabarcoding; insects; non-destructive; DNA extraction; Malaise trap; preservative ethanol; environmental DNA; systematisk zoologi; Systematic Zoology;

   Sammanfattning : Insects are one of the most abundant and diverse animal groups, and they include many valuable ecological indicator species, but taxonomic discovery projects and biodiversity surveys targeting this group are often challenging. While mass trapping devices allow the collection of insects in great numbers, the task of identifying the species present is a painstaking and resource-demanding process. LÄS MER