3228 search results - page 238 / 646 » Basics of Compiler Design |
139
click to vote
JSA
2002
15 years 4 months ago
2002
This paper presents a dependability oriented, fault tolerance based system design, development, and deployment approach. The approach relies on an architectural framework, which a...
141
Voted
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
150
Voted
ECSA
2010
Springer
15 years 3 months ago
2010
Springer
A key objective for ubiquitous environments is to enable system interoperability between system’s components that are highly heterogeneous. In particular, the challenge is to emb...
193
click to vote
PROCEDIA
2010
15 years 3 months ago
2010
We describe a new course designed to introduce engineering students to computational thinking. One of the most significant challenges in teaching an introductory-level applied co...
228
click to vote
UC
2010
Springer
15 years 2 months ago
2010
Springer
We study Life-like cellular automaton rule B2/S2345. This automaton exhibits a chaotic behavior yet capable for purposeful computation. The automaton implements Boolean gates via p...