5330 search results - page 282 / 1066 » The Performability Tool P'ility |
187
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
Creating a software product line from a legacy application is a difficult task. We propose a tool that helps automating tedious tasks of refactoring legacy applications into featu...
199
Voted
FMCO
2006
Springer
15 years 11 months ago
2006
Springer
This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
184
click to vote
DAC
1995
ACM
15 years 11 months ago
1995
ACM
—DARWIN is a tool that is able to synthesize CMOS opamps, on the basis of a genetic algorithm. A randomly generated initial set of opamps evolves to a set in which the topologies...
165
click to vote
WSC
2008
15 years 9 months ago
2008
Hinterland terminals enable the transshipment of containers between various modes of transport and play a significant role in intermodal freight transportation. In this paper we p...
230
click to vote
NSDI
2010
15 years 8 months ago
2010
Traceroute is the most widely used Internet diagnostic tool today. Network operators use it to help identify routing failures, poor performance, and router misconfigurations. Rese...