2132 search results - page 229 / 427 » Automated software winnowing |
168
click to vote
ISSS
1998
IEEE
15 years 9 months ago
1998
IEEE
False path analysis is an activity with applications in a variety of computer science and engineering domains like for instance high-level synthesis, worst case execution time est...
152
click to vote
TSD
2000
Springer
15 years 9 months ago
2000
Springer
The aim of this paper is to describe and evaluate a system that automates a part of the transition from analytical to tectogrammatical tree structures within the Prague Dependency...
124
click to vote
EURODAC
1995
IEEE
15 years 9 months ago
1995
IEEE
An important system design task is the partitioning of system functionality for implementation among multiple system components, including partitions among hardware and software c...
146
click to vote
ECOOP
1991
Springer
15 years 9 months ago
1991
Springer
We have previously shown how the discovery of classes from objects can be automated, and how the resulting class organization can be e ciently optimized in the case where the opti...
173
click to vote
ASM
2010
ASM
15 years 7 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...