Sökning: "regular"
Visar resultat 1 - 5 av 1235 avhandlingar innehållade ordet regular.
1. Regular Model Checking
Sammanfattning : A major current challenge in the area of program verification is to extend its applicability to infinite-state systems. A system can be infinite-state because it operates on unbounded data structures, such as queues, stacks, integers, etc., or because its description is parameterized by the number of components inside the system. LÄS MER
2. Regular model checking
Sammanfattning : We present regular model checking, a framework for algorithmic verification of infinite-state systems with, e.g., queues, stacks, integers, or a parameterized linear topology. States are represented by strings over a finite alphabet and the transition relation by a regular length-preserving relation on strings. LÄS MER
3. Multidimensional Piecewise Regular Arrays
Sammanfattning : Regular arrays, particularly systolic arrays, have been the subject of continuous interest for the past 15 years. One reason is that they present an excellent example of the unity between hardware and software, especially for application-specific computations. LÄS MER
4. Regular inference for reactive systems
Sammanfattning : Models of reactive systems play a central role in many techniques for verification and analysis of reactive systems. Both a specification of the system and the abstract behavior of the system can be expressed in a formal model. Compliance with the functional parts in the specification can be controlled in different ways. LÄS MER
5. Educating children with hearing impairments in Tanzania : comparing regular and special schools
Sammanfattning : .... LÄS MER