Sökning: "Embedded System"
Visar resultat 21 - 25 av 793 avhandlingar innehållade orden Embedded System.
21. A time constrained real-time process calculus
Sammanfattning : 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. LÄS MER
22. Applications of decision diagrams in digital circuit design
Sammanfattning : 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. LÄS MER
23. Dealing with imcompleteness in circuit design under Kleenean strong ternary logic
Sammanfattning : .... LÄS MER
24. A type-based framework for locating errors in constraint logic programs
Sammanfattning : .... LÄS MER
25. Static incorrectness diagnosis of CLP(FD)
Sammanfattning : .... LÄS MER