694 search results - page 82 / 139 » Comparison of software architecture reverse engineering meth... |
143
Voted
VMCAI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
140
Voted
ARCS
2006
Springer
15 years 7 months ago
2006
Springer
Early energy estimation is increasingly important in MultiProcessor System-On-Chip (MPSoC) design. Applying traditional approaches, which consist in delaying the estimation until t...
122
click to vote
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
Separation between computation and communication in system design allows the system designer to explore the communication architecture independently of component selection and map...
118
Voted
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
—Software development for industrial robots is still strongly limited by the use of old-style robot programming languages. These languages are tailored to meet a special requirem...
114
click to vote
SIGSOFT
2000
ACM
15 years 7 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...