783 search results - page 74 / 157 » The Bio-PEPA Tool Suite |
EUROPAR
2009
Springer
14 years 21 days ago
2009
Springer
Performance evaluation tools enable analysts to shed light on how applications behave both from a general point of view and at concrete execution points, but cannot provide detaile...
ASYNC
1999
IEEE
14 years 12 days ago
1999
IEEE
This paper discusses the application of the timing analysis tool ATACS to the high performance, self-resetting and delayed-reset domino circuits being designed at IBM's Austi...
VISUALIZATION
1999
IEEE
14 years 10 days ago
1999
IEEE
Our ability to accumulate large, complex (multivariate) data sets has far exceeded our ability to effectively process them in search of patterns, anomalies, and other interesting ...
HICSS
1998
IEEE
14 years 10 days ago
1998
IEEE
Typically, users submit very simple search queries to digital document data collections. Often these queries can result in extremely broad answers or answers in which document rel...
FMICS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...