1716 search results - page 187 / 344 » Proving Conditional Termination |
169
click to vote
CPP
2011
14 years 18 days 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...
143
Voted
TOG
2012
13 years 3 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...
101
Voted
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
DCC
2005
IEEE
16 years 11 days ago
2005
IEEE
We analyze the technique for reducing the complexity of entropy coding consisting in the a priori grouping of the source alphabet symbols, and in dividing the coding process in tw...
107
Voted
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
—Wireless networks are increasingly used to carry applications with QoS constraints. Two problems arise when dealing with traffic with QoS constraints. One is admission control,...