1710 search results - page 198 / 342 » High-Level Programs and Program Conditions |
109
click to vote
DAM
2002
15 years 1 months ago
2002
In K(n, n) with edges colored either red or blue, we show that the problem of finding a solution matching, a perfect matching consisting of exactly r red edges, and (n - r) blue e...
JOT
2002
15 years 1 months ago
2002
es are extended with a factorable, abstract state, and methods of interfaces are extended with state transformation behaviours. A new programming language command, the USE statemen...
130
click to vote
TSMC
2008
15 years 3 days ago
2008
A new approach for engine calibration and control is proposed. In this paper, we present our research results on the implementation of adaptive critic designs for self-learning con...
161
click to vote
PROCEDIA
2010
15 years 2 days 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...
120
click to vote
VSTTE
2010
Springer
15 years 1 days ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...