Sökning: "abstract data types"

Visar resultat 1 - 5 av 205 avhandlingar innehållade orden abstract data types.

1. 1. Types for Crash Preventionn

   Författare :Lars Pareto; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; reliability; dependability; concurrent programming; denotational semantics; real-time systems and embedded systems; data-flow; dynamic storage management; applicative functional programming languages ; type systems;

   Sammanfattning : This thesis seeks to strengthen the capabilities of static polymorphic type-checking (as known from typed lambda calculus and functional programming) to allow a larger class of programming errors to be caught at compile time: the goal is to not only prevent illegal uses of data, but to also errors that lead to busy-loops, deadlocks, stack-overflows and heap-overflows. The thesis exploits that, for recursive programs, many correctness properties (including freedom from errors leading to busy-loops, etc. LÄS MER

3. 2. Cryptographic Tools for Privacy Preservation

   Författare :Carlo Brunetta; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Outsourced Computation; Verifiability; Cryptography; Privacy; Cloud Computing;

   Sammanfattning : Data permeates every aspect of our daily life and it is the backbone of our digitalized society. Smartphones, smartwatches and many more smart devices measure, collect, modify and share data in what is known as the Internet of Things. LÄS MER

4. 3. Efficient concurrent data structure access parallelism techniques for increasing scalability

   Författare :Adones Rukundo; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; FIFO queue; parallelism; performance modelling; design framework; semantic relaxation; Data structure; multi-access; lock free; performance analysis; counter; concurrency; search tree.; stack; multi-core processor; priority queue;

   Sammanfattning : Multi-core processors have revolutionised the way data structures are designed by bringing parallelism to mainstream computing. Key to exploiting hardware parallelism available in multi-core processors are concurrent data structures. LÄS MER

5. 4. Data Importance in Power System Asset Management

   Författare :Wadih Naim; Patrik Hilber; Miroslav Begovic; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Data availability; data quality; asset management; power systems; maintenance optimization; Datatillgänglighet; datakvalitet; tillgångsförvaltning; kraftsystem; underhållsoptimering; Electrical Engineering; Elektro- och systemteknik;

   Sammanfattning : The current shift towards a higher degree of data-driven decision making in power system asset management highlights the importance of asset data. This thesis identifies, investigates, and proposes methods for data-related research gaps that are encountered by asset managers. These research gaps are in data availability and data quality. LÄS MER

7. 5. Types for XML with Application to Xcerpt

   Författare :Artur Wilk; Wlodzimierz Drabent; Jan Maluszýnski; Franciois Bry; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; XML; types; Xcerpt; XML schema; ontologies; XML querying; Computer science; Datavetenskap;

   Sammanfattning : XML data is often accompanied by type information, usually expressed by some schema language. Sometimes XML data can be related to ontologies defining classes of objects, such classes can also be interpreted as types. Type systems proved to be extremely useful in programming languages, for instance to automatically discover certain kinds of errors. LÄS MER