2634 search results - page 162 / 527 » Faster Than Uppaal |
219
click to vote
ICSM
1999
IEEE
15 years 10 months ago
1999
IEEE
Test case prioritization techniques schedule test cases for execution in an order that attempts to maximize some objective function. A variety of objective functions are applicabl...
164
Voted
DCC
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we address the problem of searching in LZW compressed text directly, and present a new algorithm for finding multiple patterns by simulating the move of the Aho-Cora...
156
click to vote
ISER
1999
Springer
15 years 10 months ago
1999
Springer
Abstract: We present a composite forward model of the mechanics of an excavator backhoe digging in soil. This model is used to predict the trajectories developed by a closed-loop f...
143
click to vote
DAC
1998
ACM
15 years 10 months ago
1998
ACM
Carry-save-adder CSA is the most often used type of operation in implementing a fast computation of arithmetics of register-transfer level design in industry. This paper establis...
152
click to vote
SIGCOMM
1998
ACM
15 years 10 months ago
1998
ACM
—The proliferation of applications that must reliably distribute bulk data to a large number of autonomous clients motivates the design of new multicast and broadcast protocols. ...