5754 search results - page 961 / 1151 » Multi-class Model M |
139
click to vote
LCPC
2000
Springer
15 years 7 months ago
2000
Springer
State-of-the-art run-time systems are a poor match to diverse, dynamic distributed applications because they are designed to provide support to a wide variety of applications, with...
164
click to vote
NGC
2000
Springer
15 years 7 months ago
2000
Springer
Delivering data to on-line game participants requires the game data to be "customized" in real-time to each participant's characteristics. Using multicast in such a...
165
click to vote
AADEBUG
1995
Springer
15 years 7 months ago
1995
Springer
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
131
click to vote
CVRMED
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. Current surgical robotic systems in orthopaedics lack realistic pre-operative simulations and utilize invasive methods to register bone intra-operatively. A multidiscipli...
148
click to vote
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...