5330 search results - page 262 / 1066 » The Performability Tool P'ility |
181
click to vote
MASCOTS
2003
15 years 8 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
208
click to vote
WSC
1997
15 years 8 months ago
1997
We are developing a parallel simulation framework for large-scale network simulation. An important component of this work is the development of a TCP/IP model library. TCP/IP expe...
162
click to vote
RV
2010
Springer
15 years 5 months ago
2010
Springer
Execution paths expose non-functional information such as system reliability and performance, which can be collected using runtime verification techniques. Statistics gathering an...
224
click to vote
SIGSOFT
2008
ACM
16 years 8 months ago
2008
ACM
In this paper, we present results from our empirical evaluations of a workspace awareness tool that we designed and implemented to augment the functionality of software configurat...
224
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: New "next generation" DNA sequencing technologies offer individual researchers the ability to rapidly generate large amounts of genome sequence data at drama...