7602 search results - page 1330 / 1521 » A New Approach to Base Revision |
168
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...
282
click to vote
LISP
2006
15 years 6 months ago
2006
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
172
click to vote
MAM
2006
15 years 6 months ago
2006
This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous recone architecture. The EPICURE contribution is the resu...
181
click to vote
MCS
2006
Springer
15 years 6 months ago
2006
Springer
The design of the control software for complex systems is a difficult task. It requires the modeling, the simulation, the integration and the adaptation of a multitude of intercon...
155
click to vote
MJ
2006
15 years 6 months ago
2006
We report on recent advances in the understanding of surface processes occurring during growth and post-growth annealing of strained islands which may find application as self-ass...