Sciweavers

2025 search results - page 44 / 405
» Software performance modelling using PEPA nets
Sort
View
93
Voted
TREC
2004
15 years 1 months ago
The Hong Kong Polytechnic University at the TREC 2004 Robust Track
In the robust track, we mainly tested our passage-based retrieval model with different passage sizes and weighting schemes. In our approach, we used two retrieval models, namely t...
D. Y. Wang, Robert Wing Pong Luk, Kam-Fai Wong
FSTTCS
2005
Springer
15 years 6 months ago
When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?
In this paper4 , we compare Timed Automata (TA) and Time Petri Nets (TPN) with respect to weak timed bisimilarity. It is already known that the class of bounded TPNs is strictly in...
Béatrice Bérard, Franck Cassez, Serg...
BMCBI
2004
166views more  BMCBI 2004»
15 years 10 days ago
Gene prediction using the Self-Organizing Map: automatic generation of multiple gene models
Background: Many current gene prediction methods use only one model to represent proteincoding regions in a genome, and so are less likely to predict the location of genes that ha...
Shaun Mahony, James O. McInerney, Terry J. Smith, ...
95
Voted
ASPDAC
2007
ACM
108views Hardware» more  ASPDAC 2007»
15 years 4 months ago
Software Performance Estimation in MPSoC Design
- Estimation tools are a key component of system-level methodologies, enabling a fast design space exploration. Estimation of software performance is essential in current software-...
Márcio Oyamada, Flávio Rech Wagner, ...
FASE
2005
Springer
15 years 6 months ago
Analyzing Web Service Based Business Processes
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
Axel Martens