437 search results - page 88 / 88 » Proving Termination by Divergence |
CPP
2011
12 years 5 months ago
2011
Parsing text to identify grammatical structure is a common task, especially in relation to programming languages and associated tools such as compilers. Parsers for context-free g...
TOG
2012
11 years 8 months ago
2012
We present a parallel iterative rigid body solver that avoids common artifacts at low iteration counts. In large or real-time simulations, iteration is often terminated before con...