5330 search results - page 226 / 1066 » The Performability Tool P'ility |
239
click to vote
FMOODS
2007
15 years 8 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
229
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: With the continued development of new computational tools for multiple sequence alignment, it is necessary today to develop benchmarks that aid the selection of the mo...
206
click to vote
EDOC
2006
IEEE
16 years 1 months ago
2006
IEEE
Workflow forms a key part of many existing Service Oriented applications, involving the integration of services that may be made available at distributed sites. It is possible ng...
191
click to vote
DAC
2006
ACM
16 years 1 months ago
2006
ACM
VLSI engineers have traditionally used a variety of CAD analysis tools (e.g. SPICE) to deal with variability. As we go into deep sub micron issues, the analysis is becoming harder...
174
click to vote
ISOLA
2004
Springer
16 years 18 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...