Search for dissertations about: "over abstraction"

Showing result 1 - 5 of 66 swedish dissertations containing the words over abstraction.

2. 1. Other Things Besides Number : Abstraction, Constraint Propagation, and String Variable Types

   Author : Joseph Scott; Pierre Flener; Parosh Abdulla; Justin Pearson; Michel Rueher; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; constraint programming; string constraint problems; Galois connections; abstraction; constraint propagation; computer-aided verification applications; Datavetenskap; Computer Science;

   Abstract : Constraint programming (CP) is a technology in which a combinatorial problem is modeled declaratively as a conjunction of constraints, each of which captures some of the combinatorial substructure of the problem. Constraints are more than a modeling convenience: every constraint is partially implemented by an inference algorithm, called a propagator, that rules out some but not necessarily all infeasible candidate values of one or more unknowns in the scope of the constraint. READ MORE

4. 2. Semantics, Decision Procedures, and Abstraction Refinement for Symbolic Trajectory Evaluation

   Author : Jan-Willem Roorda; Chalmers tekniska högskola; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Semantics; Abstraction; Satisfiability Solver; Symbolic Trajectory Evaluation; Formal Verification.; Model Checking;

   Abstract : The rapid growth in hardware complexity has led to a need for formal verification of hardware designs to prevent bugs from entering the final silicon. Model-checking is a verification method in which a model of a system is checked against a property, describing the desired behaviour of the system over time. READ MORE

5. 3. Function Variables for Constraint Programming

   Author : Brahim Hnich; Edward Tsang; Uppsala universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Constraint saisfaction; constraint programming; high-level modelling; abstraction; reformulation; function variables.; Datalogi; Computer science; Datalogi; Computer Science; data- och systemvetenskap;

   Abstract : Quite often modelers with constraint programming (CP) use the same modelling patterns for different problems, possibly from different domains. This results in recurring idioms in constraint programs. Our approach can be seen as a three-step approach. First, we identify some of these recurring patterns in constraint programs. READ MORE

6. 4. Humanizing Technology Through Post-Digital Art

   Author : Vygandas Vegas Simbelis; Kristina Höök; John Bowers; KTH; []
   Keywords : Humanization of technology; post-digital aesthetics; abstraction; materiality; immateriality; interpretative digitality; hacking; disruption; accelerationism; interactive art; interaction design; human-computer interaction.; Art; Technology and Design; Konst; teknik och design; Människa-datorinteraktion; Human-computer Interaction; Media Technology; Medieteknik; Computer Science; Datalogi; Electrical Engineering; Elektro- och systemteknik;

   Abstract : I draw upon the idea of the post digital to create (1) art for humanization of technology and (2) art as manifestations of digital qualities in the physical world, e.g., through digital-analog convergence, or through enriching our experiences with hybrid constellations of techniques, concepts and aesthetics. READ MORE

7. 5. On Compositional Supervisor Synthesis for Discrete Event Systems

   Author : Sahar Mohajerani; Chalmers tekniska högskola; []
   Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; abstraction; supervisory control theory.; synthesis; Finite-state automata;

   Abstract : Over the past decades, human dependability on technical devices has rapidlyincreased. Many activities of such devices can be described by sequences ofevents, where the occurrence of an event causes the system to go from onestate to another. This is elegantly modeled by automata. READ MORE