3792 search results - page 127 / 759 » Techniques for Trusted Software Engineering |
111
Voted
EWSA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
149
Voted
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
143
Voted
CISIS
2008
IEEE
15 years 10 months ago
2008
IEEE
Hardware/software partitioning is a crucial problem in embedded system design. In this paper, we provide an alternative approach to solve this problem using Particle Swarm Optimiz...
115
Voted
UIST
2005
ACM
15 years 9 months ago
2005
ACM
We present an evaluation of three mouse-based techniques for aligning digital images. We investigate the physical image alignment task and discuss the implications for interacting...
123
Voted
IOLTS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we propose a new SystemC-based fault injection technique that has improved fault representation in visible and on-the-fly data and signal registers. The technique ...