burnish
发表于 2025-3-23 13:43:21
Towards a Theory of Time-Bounded Verificationand ., in that the restriction to bounded time domains reclaims as decidable several of the key decision problems of unbounded real-time verification. Finally, we discuss several directions of ongoing and future work.
PACK
发表于 2025-3-23 16:26:02
Physical Algorithmsand dynamics. The networked systems we envision include traditional computer networks, but also more generally networked systems, such as social networks, highly dynamic and mobile networks, or even networks of entities such as cars or ants. In other words, the world is becoming algorithmic, and we need the means to analyze this world!
大火
发表于 2025-3-23 20:19:19
Optimal Zielonka-Type Construction of Deterministic Asynchronous Automataze of the obtained asynchronous automaton is polynomial in the size of a given DFA and simply exponential in the number of processes. We show that our construction is optimal within the class of automata produced by Zielonka-type constructions. In particular, we provide the first non trivial lower bound on the size of asynchronous automata.
palliate
发表于 2025-3-24 00:42:04
Pumping and Counting on the Regular Post Embedding Probleme variant problems where the set of solutions is compared to regular constraint sets and where one counts the number of solutions. Our positive results rely on two non-trivial pumping lemmas for Post-embedding languages and their complements.
arrogant
发表于 2025-3-24 03:10:57
An ,(log,)-Competitive Online Centralized Randomized Packet-Routing Algorithm for Lineses and communication link capacities. In particular, it holds also for unit buffers..This algorithm improves the best previous .(log..)-competitive ratio of and considers links with unit capacities.
Stable-Angina
发表于 2025-3-24 06:47:55
On Erasing Productions in Random Context Grammarsontext grammars have the same generative capacity as matrix grammars without appearance checking..The main result is a positive answer to the first question. For the other two, conjectures are presented. It is then deduced from the main result that at least one of the two holds.
减少
发表于 2025-3-24 14:26:10
Getting StartED with Mac OS X Leopardthe .-th level is strictly smaller than the tower of . of height .. As a corollary the Cantor-Bendixson rank of the tree solutions of safe recursion schemes of order . is smaller than the tower of . of height ...As a spin-off result, we show that the .-words belonging to the second level of the pushdown hierarchy are exactly the morphic words.
任意
发表于 2025-3-24 18:15:46
,Mac Os X Leopard’s New Features,er strategy. This research is motivated by an attempt to prove algorithms correct that take such supposedly pure functionals as input and apply them to stateful arguments in order to inspect intensional aspects of their behaviour.
amputation
发表于 2025-3-24 21:59:28
http://reply.papertrans.cn/17/1663/166207/166207_19.png
Extemporize
发表于 2025-3-25 00:00:30
Getting StartED with Mac OS X Leopardact state space that is guided by examples, meaning that it preserves spuriousness of examples (i.e., abstract paths). In particular, we show how EGAS can be integrated with the well-known CEGAR (CounterExample-Guided Abstraction Refinement) methodology.