default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Journal of Foundations of Computer Science, Volume 12
Volume 12, Number 1, February 2001
- Masako Takahashi:
Lambda-Representable Functions Over Term Algebras. 3-29 - Yasuyuki Tsukada
:
Martin-Löf's Type Theory as an Open-Ended Framework. 31-67 - Peter Borovanský, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen:
Rewriting with Strategies in ELAN: A Functional Semantics. 69-95 - Edgar F. A. Lederer, Romeo A. Dumitrescu:
Automatic Result Verification by Complete Run-Time Checking of Computations. 97-124
Volume 12, Number 2, April 2001
- Ralf Hinze:
Prolog's Control Constructs in a Functional Setting - Axioms and Implementation. 125-170 - Sergei M. Abramov, Robert Glück:
From Standard to Non-Standard Semantics by Semantics Modifiers. 171-211 - Takafumi Sakurai:
Categorical Model Construction for Proving Syntactic Properties. 213-244
Volume 12, Number 3, June 2001
- Michael A. Palis:
Special Issue on Parallel and Distributed Computing. 245-247 - Sartaj Sahni:
Models and Algorithms for Optical and Optoelectronic Parallel Computers. 249-264 - Fabrício Alves Barbosa da Silva, Isaac D. Scherson:
Efficient Parallel Job Scheduling Using Gang Service. 265-284 - Noriyuki Fujimoto, Tomoki Baba, Takashi Hashimoto, Kenichi Hagihara:
On Message Packaging in Task Scheduling for Distributed Memory Parallel Machines. 285-306 - Weisong Shi, Zhimin Tang:
Load Balancing in Home-Based Software DSMS. 307-324 - Takayoshi Touyama, Susumu Horiguchi:
Performance Evaluation of Practical Parallel Computer Model LogPQ. 325-340 - Jennifer M. Schopf, Francine Berman:
Using Stochastic Information to Predict Application Behavior on Contended Resources. 341-364 - Marc Bui, Sajal K. Das, Ajoy Kumar Datta, Dai Tho Nguyen:
Randomized Mobile Agent Based Routing in Wireless Networks. 365-384
- Birgit Elbl:
A Non-Definability Result for a Predicational Language with the Usual Control. 385-396 - Géza Harváth, Katsushi Inoue, Akira Ito, Yue Wang:
Closure Property of Probabilistic Turing Machines and Alternating Turing Machines with Sublogarithmic Spaces. 397-409
Volume 12, Number 4, August 2001
- Alan Roberts, Antonios Symvonis:
On the Routing Number of Complete d-ARY Trees. 411-434 - Koichi Yamazaki, Sei'ichi Tani, Tetsuro Nishino:
A Characterization of k-th Powers Pn, k of Paths in Terms of k-Trees. 435-444 - Pak-Ken Wong:
An Algorithm for Finding Longest Cycles in Certain Bipartite Graphs. 445-454 - Lars Jacobsen, Kim S. Larsen:
Variants of (A, B)-Trees with Relaxed Balance. 455-478 - Cristian Calude, Hajime Ishihara, Takeshi Yamaguchi:
Coding with Minimal Programs. 479-490 - Meera Sitharam, Timothy Straney:
Derandomized Learning of Boolean Functions over Finite Abelian Groups. 491-516 - Oleg Verbitsky:
Remarks on a Query-Based Variant of the Parallel Repetition Theorem. 517-532 - Wing-Kai Hon, Tak Wah Lam:
Approximating the Nearest Neighbor Intercharge Distance for Non-Uniform-Degree Evolutionary Trees. 533-550 - Adam Obtulowicz:
Membrane Computing and One-Way Functions. 551-558
Volume 12, Number 5, October 2001
- Albert Y. Zomaya:
Scheduling: Theory and Applications - Guest Editor's Preface. 559-564 - David L. Rhodes, Wayne H. Wolf:
Two CoNP-Complete Schedule Analysis Problems. 565-580 - Chantana Chantrapornchai, Sissades Tongsima:
Resource Estimation Algorithm Under Impreciseness Using Inclusion Scheduling. 581-598 - Mary Mehrnoosh Eshaghian:
Mapping Arbitrary Heterogeneous Task Graphs Onto Arbitrary Heterogeneous System Graphs. 599-628 - J. Santoso, G. Dick van Albada, Peter M. A. Sloot, Bobby A. A. Nazief:
Simulation of Hierarchical Resource Management for Meta-Computing Systems. 629-643 - Oliver Diessel, Hossam A. ElGindy:
On Dynamic Task Scheduling for EPGA-Based Systems. 645-669 - Harald Meyer auf'm Hofe:
Solving Rostering Tasks by Generic Methods for Constraint Optimization. 671-693 - Yasuyuki Tsukada:
Errata to "Martin-Löf's Type Theory as an Open-Ended Framework". 695
Volume 12, Number 6, December 2001
- Dirk Fimmel, Jan Müller:
Optimal Software Pipelining Under Resource Constraints. 697-718 - Leïla Azouz Saïdane, Farouk Kamoun:
Modelling and Performance Evaluation of the Circulating Multisequencer, The Multi-Tokens and the Consensus Algorithms in a Real Time Distributed Transactional System. 719-749 - Paolo Priore, David de la Fuente, Alberto Gómez, Javier Puente:
Dynamic Scheduling of Manufacturing Systems with Machine Learning. 751-762 - Keqin Li:
An Efficient Job Scheduling Algorithm in Partitionable Mesh Connected Systems. 763-773 - Kazumasa Oida, K. Shinjo:
Characteristics of Deterministic Optimal Routing for Two Heterogeneous Parallel Servers. 775-790 - Teofilo F. Gonzalez:
On Solving Multimessage Multicasting Problems. 791-808 - David Blokh, Eugene Levner:
The Maximum Traveling Salesman Problem on Banded Matrices. 809-819
- Oscar H. Ibarra, Tevfik Bultan, Jianwen Su:
On Reachability and Safety in Infinite-State Systems. 821-836 - Gheorghe Paun, Grzegorz Rozenberg, Takashi Yokomori:
Hairpin Languages. 837-847
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-22 00:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
