Search alternatives:
- Subject ("Algorithmics. Computability. Computer arithmetics") »
Loading…
On Distributive Fixed-Point Expressions
Seidl, Helmut, Niwiński, Damian
Published in RAIRO. Informatique théorique et applications (01.07.1999)
Published in RAIRO. Informatique théorique et applications (01.07.1999)
Get full text
Journal Article
Conference Proceeding
Loading…
Monotone (co)inductive types and positive fixed-point types
Get full text
Journal Article
Conference Proceeding
Loading…
Loading…
Loading…
Loading…
Parallel Algorithms for Counting and Randomly Generating Integer Partitions
Sanchis, Laura A., Squire, Matthew B.
Published in Journal of parallel and distributed computing (10.04.1996)
Published in Journal of parallel and distributed computing (10.04.1996)
Get full text
Journal Article
Loading…
Loading…
Parallel Algorithms with Processor Failures and Delays
Buss, Jonathan F., Kanellakis, Paris C., Ragde, Prabhakar L., Shvartsman, Alex Allister
Published in Journal of algorithms (01.01.1996)
Published in Journal of algorithms (01.01.1996)
Get full text
Journal Article
Loading…
Loading…
Loading…
Proving properties of typed λ-terms using realizability, covers, and sheaves
Get full text
Journal Article
Conference Proceeding
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Machine minimization for scheduling jobs with interval constraints
Chuzhoy, J., Guha, S., Khanna, S., Naor, J.S.
Published in 45th Annual IEEE Symposium on Foundations of Computer Science (2004)
Published in 45th Annual IEEE Symposium on Foundations of Computer Science (2004)
Get full text
Conference Proceeding
Loading…
Using dimension theory to analyze and classify the generation of fractal sets
Get full text
Journal Article
Conference Proceeding