4725 search results - page 67 / 945 » Dynamic Architecture Extraction |
115
click to vote
WCRE
2006
IEEE
15 years 9 months ago
2006
IEEE
Often, the only sources of information about the evolution of software systems are the systems themselves and their histories. Version control repositories contain information on ...
153
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
133
click to vote
VLSID
2001
IEEE
16 years 3 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
130
click to vote
ICPP
2008
IEEE
15 years 9 months ago
2008
IEEE
We introduce Scioto, Shared Collections of Task Objects, a lightweight framework for providing task management on distributed memory machines under one-sided and globalview parall...
DAC
2000
ACM
16 years 4 months ago
2000
ACM