3792 search results - page 538 / 759 » Techniques for Trusted Software Engineering |
182
click to vote
AC
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a simulation package developed to evaluate and optimize both the channel propagation losses and the multipath dispersion of the indoor optical channel. Th...
174
click to vote
PEPM
1993
ACM
15 years 10 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
214
click to vote
UIST
1994
ACM
15 years 10 months ago
1994
ACM
The human visual system makes a great deal more of images than the elemental marks on a surface. In the course of viewing, creating, or editing a picture, we actively construct a ...
198
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...
173
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
Embedded systems are an important field of research and will gain momentum in the near future. Many of these systems require data management functionality. Due to the resource con...