Advanced search
Showing result 21 - 25 of 766 swedish dissertations matching the above criteria.
-
21. A time constrained real-time process calculus
Abstract : There are two important questions to ask regarding the correct execution of a real-time program: (i) Is there a platform such that the program executes correctly? (ii) Does the program execute correctly on a particular platform? The execution of a program is correct if all actions are taken within their execution window, i.e. READ MORE
-
22. Applications of decision diagrams in digital circuit design
Abstract : Design methodology of digital circuits is a rapidly changing field. In the last 20 years, the number of transistors on a single chip has increased from thousands to tens of millions. This sets new demands on the design tools involved, their ability to capture specifications on a high level, and finally synthesize them into hardware implementations. READ MORE
-
23. Dealing with imcompleteness in circuit design under Kleenean strong ternary logic
Abstract : .... READ MORE
-
24. A type-based framework for locating errors in constraint logic programs
Abstract : .... READ MORE
-
25. Static incorrectness diagnosis of CLP(FD)
Abstract : .... READ MORE