2662 search results - page 36 / 533 » Objects-early tools: a demonstration |
CAD
2008
Springer
14 years 9 months ago
2008
Springer
: This paper deals with optimization of 5-axis trajectories in the context of high-speed machining. The objective is to generate tool paths suited to high speed follow-up during ma...
ISSAC
1998
Springer
15 years 1 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
68
Voted
SLP
1997
14 years 11 months ago
1997
We demonstrate the bene ts of instruction-set simulation in the evaluation of a parallel programming system, Penny. The simulator is a reliable tool in exploring design alternativ...
TREC
2007
14 years 11 months ago
2007
York University evaluated a prepcessing approach for this year’s enterprise document search task. With different parsing tools, we create two data sets. Based on each data set,...
DATE
1998
IEEE
15 years 2 months ago
1998
IEEE
Within this paper the gate-level power-simulation tool GliPS (Glitch Power Simulator) is presented, which gives excellent accuracy (in the range of transistor-level simulators) at...