7380 search results - page 792 / 1476 » Engineering Software Intensive Systems |
208
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
207
click to vote
APSEC
2006
IEEE
15 years 11 months ago
2006
IEEE
The increasing diffusion of ubiquitous communication infrastructures and physical active objects --like sensors and smart tags-- is motivating the integration of these devices int...
166
click to vote
CODES
2004
IEEE
15 years 11 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, ...
150
Voted
CBSE
2006
Springer
15 years 11 months ago
2006
Springer
We investigate the impact of Operating System's Virtual Memory Managers (VMMs) on performance of enterprise applications. By taking various popular branches of the Linux kerne...
196
click to vote
EDBTW
2006
Springer
15 years 11 months ago
2006
Springer
To investigate molecular-biological causes and effects of diseases and their therapies it becomes increasingly important to combine data from clinical trials with high volumes of e...