859 search results - page 79 / 172 » Explaining Synthesized Software |
124
click to vote
EMSOFT
2010
Springer
15 years 9 days ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
132
click to vote
ISQED
2011
IEEE
14 years 6 months ago
2011
IEEE
Due to the dramatic increase in design complexity, verifying the functional correctness of a circuit is becoming more difficult. Therefore, bugs may escape all verification effo...
IWPC
2005
IEEE
15 years 8 months ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
112
Voted
WCRE
1999
IEEE
15 years 6 months ago
1999
IEEE
One of the challenges of reverse engineering is the extraction of a specification from source code. Our work proposes a singular approach to the construction of reverse engineerin...
128
click to vote
CSMR
1998
IEEE
15 years 6 months ago
1998
IEEE
Many organizations are using measurement as a means to improve their software development and maintenance processes. A reasonable consensus has been reached about the main success...