Musket 发表于 2025-3-25 03:41:34

Bürger und Gemeinwesen in Europare are computations whose optimal schedule does vary with the access function. In particular, we exhibit some computations for which any schedule is bound to be a polynomial factor slower than optimal on at least one of two sufficiently different machines. On the positive side, we show that relative

Insulin 发表于 2025-3-25 11:28:17

http://reply.papertrans.cn/17/1663/166220/166220_22.png

斥责 发表于 2025-3-25 12:23:42

Integrating Semantics for Object—Oriented System Modelsodels, where each viewpoint model, due to its partiality, admits a set of possible interpretations. In this paper such an integrating semantic domain is sketched and an application to structure and behaviour models of the Unified Modeling Language is discussed.

抚育 发表于 2025-3-25 18:07:14

http://reply.papertrans.cn/17/1663/166220/166220_24.png

Infusion 发表于 2025-3-25 21:42:08

Gewaltenteilung und Parteien im Wandeln a box. We provide a quasi-polynomial algorithm for the latter dualization problem. These results imply, in particular, that the problem of incrementally generating minimal integer solutions of a monotone system of linear inequalities can be done in quasi-polynomial time.

Obliterate 发表于 2025-3-26 00:46:59

http://reply.papertrans.cn/17/1663/166220/166220_26.png

CESS 发表于 2025-3-26 08:04:27

http://reply.papertrans.cn/17/1663/166220/166220_27.png

ERUPT 发表于 2025-3-26 09:40:01

http://reply.papertrans.cn/17/1663/166220/166220_28.png

Diuretic 发表于 2025-3-26 15:16:11

http://reply.papertrans.cn/17/1663/166220/166220_29.png

使苦恼 发表于 2025-3-26 20:23:05

The Complexity of Constructing Evolutionary Trees Using Experimentser bound, matching our upper bounds and improving the previous best lower bound by a factor .(log..). Central to our algorithm is the construction and maintenance of separator trees of small height, which may be of independent interest.
页: 1 2 [3] 4 5 6 7
查看完整版本: Titlebook: Automata, Languages and Programming; 28th International C Fernando Orejas,Paul G. Spirakis,Jan Leeuwen Conference proceedings 2001 Springer