標(biāo)題: Titlebook: GI Gesellschaft für Informatik e. V.; 3. Jahrestagung Hamb Wilfried Brauer (Vorsitzender des Programmausschus Book 1973 Springer-Verlag Ber [打印本頁] 作者: 作業(yè) 時間: 2025-3-21 16:54
書目名稱GI Gesellschaft für Informatik e. V.影響因子(影響力)
書目名稱GI Gesellschaft für Informatik e. V.影響因子(影響力)學(xué)科排名
書目名稱GI Gesellschaft für Informatik e. V.網(wǎng)絡(luò)公開度
書目名稱GI Gesellschaft für Informatik e. V.網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱GI Gesellschaft für Informatik e. V.被引頻次
書目名稱GI Gesellschaft für Informatik e. V.被引頻次學(xué)科排名
書目名稱GI Gesellschaft für Informatik e. V.年度引用
書目名稱GI Gesellschaft für Informatik e. V.年度引用學(xué)科排名
書目名稱GI Gesellschaft für Informatik e. V.讀者反饋
書目名稱GI Gesellschaft für Informatik e. V.讀者反饋學(xué)科排名
作者: 柱廊 時間: 2025-3-21 23:24
A Survey of Mathematical Results in Flow-Time Scheduling for Computer Systemss, itself. These problems include sequencing to ensure mutually exclusive use of a resource, determinacy, avoidance of deadlocks, or synchronized execution of tasks; sequencing to make efficient use of memory and input/output resources; and sequencing task executions to optimize performance measures作者: HPA533 時間: 2025-3-22 03:00
Controllability-Observability Type Duality Relations of Finite-State MachinesMaschinen uebertragen, wobei die Dualit?tsbeziehungen erhalten bleiben. Diese Begriffe werden charakterisiert, und Algorithmen angegeben, die es erm?glichen,(a) für eine gegebene sequentielle Maschine die gr?ssten Untermaschinen und Quotientenmaschinen zu finden, die obige Eigenschaften besitzen,(b)作者: 傲慢人 時間: 2025-3-22 06:05
On oriented hypergraphs and on dynamics of some discrete systemsed in the framework of the “classical” theory of automata, i.e. theory which deals with automata whose inputs and outputs are considered to be words over certain finite alphabet. In other cases, special frameworks for this purpose were created, namely tessalations, and many results were obtained in 作者: 挑剔為人 時間: 2025-3-22 11:42 作者: cleaver 時間: 2025-3-22 12:59 作者: cleaver 時間: 2025-3-22 18:11
Improvements to Earley’s Context-Free Parserructure, in which all the possible candidate parses are investigated in parallel. Backtracking is avoided by keeping track of the stage reached in all parses in a set of “states”. The integer parameters . and . describe tests performed on strings of terminals, of length . and . respectively, to the 作者: 獨(dú)裁政府 時間: 2025-3-22 22:17
The Boolean Closures of the Deterministic and Nondeterministic Context-Free Languagese latter is properly contained in the Boolean closure of the context-free languages. The class of context-free languages and the Boolean closure of the deterministic context-free languages are incomparable in the sense that neither one is contained in the other. The intersection-closures of the dete作者: 我不怕犧牲 時間: 2025-3-23 04:57
Eine Theorie der Semantik von Programmiersprachenamm und Daten w?hrend der Interpretation bestehen. Dies führt dazu, da? sich manche Programmiertechniken, wie zum Beispiel Laufanweisungen oder dynamische Datenstrukturen im Rahmen dieser Theorien nicht oder nur schwer darstellen lassen.作者: 羅盤 時間: 2025-3-23 09:11 作者: 上流社會 時間: 2025-3-23 13:37 作者: gonioscopy 時間: 2025-3-23 17:30
https://doi.org/10.1007/978-3-663-20341-4 1 “≥” oder “≤” abgesch?tzt wird, mu? bei Algorithmen, die die Schranke dieses Satzes annehmen, Gleichheit gelten. Ziel dieser Arbeit ist, hieraus eine anschauliche Charakterisierung aller optimalen Algorithmen zum Transponieren von k.xk.-Matrizen zu gewinnen.作者: 結(jié)構(gòu) 時間: 2025-3-23 20:55 作者: nonsensical 時間: 2025-3-23 23:17
https://doi.org/10.1007/978-3-663-04954-8ome “positive results,” e.g. any Λ-free context free grammar can be covered by a grammar in operator normal form [5]. On the other hand, a typical negative result is that there are grammars which cannot be covered by any grammar in Greibach form [12].作者: 較早 時間: 2025-3-24 03:53 作者: Adjourn 時間: 2025-3-24 08:23
https://doi.org/10.1007/978-3-663-04955-5mars with LR(.) characteristics, whereas those involving parameter . are most suited for grammars showing LL(.)-type conditions. However, the use of parallelism enables the algorithm to work on any CF-grammar.作者: carotid-bruit 時間: 2025-3-24 11:04
https://doi.org/10.1007/978-3-662-29625-7the equivalence of two syntactic definitions of an unsigned integer, the equivalence of Knuth’s two examples of synthesized and inherited attributes, and the validity of Hoare’s first axiom (also known as the “back substitution rule”) for a large class of programming languages.作者: 哄騙 時間: 2025-3-24 15:35 作者: Certainty 時間: 2025-3-24 19:12
Controllability-Observability Type Duality Relations of Finite-State MachinesEingangsfolgen (synchronierende, diagnosierende und homing) und deren duale Folgen zu finden. Diese Algorithmen sind eng verknupft mit der Existenz und Anzahl der wahren maximalen und minimalen Ideen und Kongruenzen eines Automaten.作者: Flatter 時間: 2025-3-25 00:09
Improvements to Earley’s Context-Free Parsermars with LR(.) characteristics, whereas those involving parameter . are most suited for grammars showing LL(.)-type conditions. However, the use of parallelism enables the algorithm to work on any CF-grammar.作者: output 時間: 2025-3-25 04:14 作者: 墻壁 時間: 2025-3-25 11:09 作者: WITH 時間: 2025-3-25 14:57
A Survey of Mathematical Results in Flow-Time Scheduling for Computer Systems excessive implementation cost, heuristic algorithms that are easily implemented and whose performance is reasonably close to the optimal. The frequently difficult mathematics associated with these studies is concerned with proofs of optimality, general complexity analyses, and the analysis of the performance of algorithms.作者: cylinder 時間: 2025-3-25 18:54 作者: Phenothiazines 時間: 2025-3-25 20:00
Optimale Algorithmen zum Transponieren Quadratischer Matrizen 1 “≥” oder “≤” abgesch?tzt wird, mu? bei Algorithmen, die die Schranke dieses Satzes annehmen, Gleichheit gelten. Ziel dieser Arbeit ist, hieraus eine anschauliche Charakterisierung aller optimalen Algorithmen zum Transponieren von k.xk.-Matrizen zu gewinnen.作者: 閑聊 時間: 2025-3-26 01:24
The Boolean Closures of the Deterministic and Nondeterministic Context-Free Languagese deterministic context-free languages are incomparable in the sense that neither one is contained in the other. The intersection-closures of the deterministic and nondeterministic context-free languages are not principal AFDL’s.作者: 金哥占卜者 時間: 2025-3-26 06:56
https://doi.org/10.1007/978-3-642-48607-4o handelt es sich um die Frage, ob der gegebene Graph Teilgraphen enth?lt, die isomorph Graphen aus einem bestimmten Vorrat sind. Aus der graphentheoretischen Literatur ist bekannt, da? dieser Test sehr aufwendig ist. [2, 6, 11]作者: Influx 時間: 2025-3-26 10:58 作者: chastise 時間: 2025-3-26 15:29
Wilfried Brauer (Vorsitzender des Programmausschus作者: Ruptured-Disk 時間: 2025-3-26 19:58
978-3-662-40668-7Springer-Verlag Berlin Heidelberg 1973作者: abracadabra 時間: 2025-3-26 23:11 作者: 智力高 時間: 2025-3-27 02:42 作者: 填料 時間: 2025-3-27 08:13
,Beitr?ge zur Physiologie der Verdauung,amm und Daten w?hrend der Interpretation bestehen. Dies führt dazu, da? sich manche Programmiertechniken, wie zum Beispiel Laufanweisungen oder dynamische Datenstrukturen im Rahmen dieser Theorien nicht oder nur schwer darstellen lassen.作者: LEER 時間: 2025-3-27 12:45
Eine Theorie der Semantik von Programmiersprachenamm und Daten w?hrend der Interpretation bestehen. Dies führt dazu, da? sich manche Programmiertechniken, wie zum Beispiel Laufanweisungen oder dynamische Datenstrukturen im Rahmen dieser Theorien nicht oder nur schwer darstellen lassen.作者: Carcinogenesis 時間: 2025-3-27 16:57 作者: 小卷發(fā) 時間: 2025-3-27 18:53 作者: Rodent 時間: 2025-3-28 00:07
https://doi.org/10.1007/978-3-662-29554-0Maschinen uebertragen, wobei die Dualit?tsbeziehungen erhalten bleiben. Diese Begriffe werden charakterisiert, und Algorithmen angegeben, die es erm?glichen,(a) für eine gegebene sequentielle Maschine die gr?ssten Untermaschinen und Quotientenmaschinen zu finden, die obige Eigenschaften besitzen,(b)作者: 協(xié)議 時間: 2025-3-28 04:17 作者: 新陳代謝 時間: 2025-3-28 10:03
https://doi.org/10.1007/978-3-663-20341-4gendes getan:.Es sei T.(n) die minimale Zahl von Schritten, mit denen man M. transponieren kann. In [II] wurde gezeigt:.überall, wo im Beweis von Satz 1 “≥” oder “≤” abgesch?tzt wird, mu? bei Algorithmen, die die Schranke dieses Satzes annehmen, Gleichheit gelten. Ziel dieser Arbeit ist, hieraus ein作者: faculty 時間: 2025-3-28 11:17
https://doi.org/10.1007/978-3-642-48607-4orden. Bei ihrem praktischen Einsatz mu? eine vorgegebene mehrdimensionale Symbolanordnung daraufhin untersucht werden, ob sie linke oder rechte Seiten aus einer ebenfalls vorgegebenen Menge von Produktionen enth?lt. Beschr?nkt man sich auf den Fall markierter Graphen [8, 9, 10] (Web-Grammatiken), s作者: 顯示 時間: 2025-3-28 14:52 作者: 生意行為 時間: 2025-3-28 19:06 作者: 破布 時間: 2025-3-29 01:09
,Beitr?ge zur Physiologie der Verdauung,amm und Daten w?hrend der Interpretation bestehen. Dies führt dazu, da? sich manche Programmiertechniken, wie zum Beispiel Laufanweisungen oder dynamische Datenstrukturen im Rahmen dieser Theorien nicht oder nur schwer darstellen lassen.作者: 火海 時間: 2025-3-29 05:29
https://doi.org/10.1007/978-3-662-29625-7pose of proving assertions about ., in particular, functions defined by recursive conditional expressions. . was introduced by Burstall [1] for proving assertions about ., such as lists and trees. The induction principles which we shall introduce here are useful for proving assertions about context-作者: Pastry 時間: 2025-3-29 09:43
https://doi.org/10.1007/978-3-662-41148-3Gesellschaft; Informatik; Staatsangeh?rigkeitsgesetz作者: 狂熱語言 時間: 2025-3-29 13:01
Synonyma und verwandte Begriffe,Various authors and computer designers (computer architects) have defined computer architecture in several ways: Amdahl, Blauuw and Brooks (1964) in the article, “Architecture of the IBM System/360”, define architecture:作者: 值得贊賞 時間: 2025-3-29 19:02 作者: shrill 時間: 2025-3-29 20:30 作者: 彩色的蠟筆 時間: 2025-3-30 02:07
