نتایج جستجو برای: counter
تعداد نتایج: 40450 فیلتر نتایج به سال:
Journal:
:Scientific and Technical Bulletin оf State Scientific Research Control Institute of Veterinary Medical Products and Fodder Additives аnd Institute of Animal Biology
2020
Journal:
:Journal of Research of the National Bureau of Standards
1943
Journal:
:Journal of Information Processing and Management
2004
Journal:
:Bulletin of Mathematical Sciences and Applications
2015
Journal:
:ACM Transactions on Computational Logic
2023
We study the reachability problem for continuous one-counter automata, COCA short. In such transitions are guarded by upper- and lower-bound tests against counter value. Additionally, updates associated with taking can be (non-deterministically) scaled down a nonzero factor between zero one. Our three main results as follows: we prove (1) that global is in NC 2 ; (2) that, general, decidable po...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید