5015 search results - page 426 / 1003 » Model Checking a Path |
166
click to vote
SMA
1999
ACM
15 years 11 months ago
1999
ACM
Accurate prediction of the swept volume of a cutting tool is essential in NC verification algorithms for detecting deficiencies in a proposed tool path, such as gouging, undercutt...
223
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
146
click to vote
ENTCS
2007
15 years 6 months ago
2007
The Mono Model Checker (mmc) is a software model checker for cil bytecode programs. mmc has been developed on the Mono platform. mmc is able to detect deadlocks and assertion viol...
153
click to vote
GLOBECOM
2006
IEEE
16 years 24 days ago
2006
IEEE
—This paper studies the blocking performance of a class of all-optical overlaid-star TDM networks using a leastcongested-path routing strategy for path selection. An analytical m...
148
click to vote
ACL
2010
15 years 4 months ago
2010
We pose the development of cognitively plausible models of human language processing as a challenge for computational linguistics. Existing models can only deal with isolated phen...