782 search results - page 15 / 157 » Performance Engineering Case Study: Heap Construction |
EMSOFT
2005
Springer
14 years 29 days ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
VLSI
2010
Springer
13 years 5 months ago
2010
Springer
—Latency insensitivity is a promising design paradigm in the nanometer era since it has potential benefits of increased modularity and robustness to variations. Synchronous elas...
IC
2004
13 years 9 months ago
2004
This paper describes a validating XML parsing method based on deterministic finite state automata (DFA). XML parsing and validation is performed by a schema-specific XML parser th...
IPMU
2010
Springer
13 years 11 months ago
2010
Springer
Upon engineering a Bayesian network for the early detection of Classical Swine Fever in pigs, we found that the commonly used approach of separately modelling the relevant observab...
AC
1999
Springer
13 years 11 months ago
1999
Springer
Prior to 1994, student registration at Newcastle University involved students being registered in a single place, where they would present a form which had previously been filled ...