3045 search results - page 161 / 609 » Formal Approaches to Software Architecture |
141
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we present an approach to multi-objective exploration of the mapping space of a mesh-based network-on-chip architecture. Based on evolutionary computing techniques, ...
153
click to vote
AHS
2006
IEEE
16 years 14 days ago
2006
IEEE
The application of evolutionary techniques to the design of custom processing elements bears a strong relation to the natural process that led to the co-evolution of cells and gen...
181
click to vote
ACHI
2008
IEEE
16 years 26 days ago
2008
IEEE
— To meet fast changing demands on modern software architectures the ambition to shorten and improve software development processes has increased. The approach of model-driven so...
153
click to vote
ACSAC
2006
IEEE
16 years 14 days ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
166
click to vote
WCRE
2008
IEEE
16 years 23 days ago
2008
IEEE
In this paper, we present a dynamic analysis approach to increase the understandability of a large softwareintensive system, more particularly to enable the identification of depe...