26354 search results - page 4950 / 5271 » How we refactor, and how we know it |
201
click to vote
APN
1992
Springer
15 years 10 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
182
click to vote
VLDB
1994
ACM
15 years 10 months ago
1994
ACM
MapBase is a laboratory information system that has been supporting a high-throughput genome-mapping operation for the last three years. We chose to build MapBase around a C++-bas...
209
click to vote
STACS
1992
Springer
15 years 10 months ago
1992
Springer
We show how to speed up two string-matching algorithms: the Boyer-Moore algorithm (BM algorithm), and its version called here the reverse factor algorithm (RF algorithm). The RF al...
140
click to vote
ICML
1989
IEEE
15 years 10 months ago
1989
IEEE
The training experiences needed by a learning system may be selected by either an external agent or the system itself. We show that knowledge of the current state of the learner&#...
193
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Embedded systems are often used in safety-critical environments. Thus, thorough testing of them is mandatory. A quite active research area is the automatic test-case generation fo...