5241 search results - page 562 / 1049 » Embedded Programming with C |
145
click to vote
UM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. A promising approach towards evaluating adaptive systems is to decompose the adaptation process and evaluate the system in a “piece-wise” manner. This paper presents ...
127
click to vote
EUROPAR
2003
Springer
15 years 10 months ago
2003
Springer
I propose a set of criteria which distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the int...
119
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
We argue that mutable programs are an important class of future applications. The field of software agents is an important beneficiary of mutability. We evaluate existing mutabl...
120
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
Refinement semantics is an alternative to least fixpoint semantics that is more useful for programming. From it we derive a variety of rules for w h i l e-loops, for-loops, and loo...
170
click to vote
SOSL
1993
15 years 9 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...