1004 search results - page 78 / 201 » High Performance Computing in Science and Engineering |
IWSSD
2000
IEEE
15 years 7 months ago
2000
IEEE
Modern software is often constructed using "spiral specification"; i.e. the specification is a dynamic document that is altered by experience with the current version of...
131
click to vote
CAD
2008
Springer
15 years 3 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...
98
Voted
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...
128
Voted
ITICSE
2004
ACM
15 years 8 months ago
2004
ACM
Learning to program is a unique experience for each student, and it is not fully understood why one person in an introductory programming course learns to program better and more ...
157
Voted
DRUMS
1998
Springer
15 years 7 months ago
1998
Springer
Autonomous robots need the ability to move purposefully and without human intervention in real-world environments that have not been speci cally engineered for them. These environm...