| Publication | Date of Publication | Type |
|---|
scientific article; zbMATH DE number 7829297 (Why is no real title available?)
| 2024-04-09 | Paper |
Self-simulation for the Passive Optical Star model
Lecture Notes in Computer Science | 2023-05-08 | Paper |
Collecting garbage pages in a distributed shared memory with reduced memory and communication overhead
| 2021-12-20 | Paper |
Greedy hot-potato routing on the two-dimensional mesh
Distributed Computing | 2020-11-30 | Paper |
A lower bound for nearly minimal adaptive and hot potato algorithms
Algorithms — ESA '96 | 2017-12-05 | Paper |
Potential function analysis of greedy hot-potato routing
Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing - PODC '94 | 2017-09-29 | Paper |
Distributed geometric query monitoring using prediction models
ACM Transactions on Database Systems | 2016-03-02 | Paper |
Veracity radius, capturing the locality of distributed computations
Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing | 2015-03-10 | Paper |
A scheduling framework for large-scale, parallel, and topology-aware applications
Journal of Parallel and Distributed Computing | 2012-03-07 | Paper |
Top-\(k\) vectorial aggregation queries in a distributed environment
Journal of Parallel and Distributed Computing | 2011-08-19 | Paper |
A work-efficient distributed algorithm for reachability analysis.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
Hybrid BDD and All-SAT Method for Model Checking
Languages: From Formal to Natural | 2009-06-03 | Paper |
Efficient Dynamic Aggregation
Lecture Notes in Computer Science | 2008-09-09 | Paper |
3-Valued Circuit SAT for STE with Automatic Refinement
Automated Technology for Verification and Analysis | 2008-07-03 | Paper |
Scaling model checking of dataraces using dynamic information
Journal of Parallel and Distributed Computing | 2007-05-23 | Paper |
VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND
International Journal of Foundations of Computer Science | 2007-03-13 | Paper |
A platform-independent distributed runtime for standard multithreaded Java
International Journal of Parallel Programming | 2006-11-17 | Paper |
A work-efficient distributed algorithm for reachability analysis
Formal Methods in System Design | 2006-10-24 | Paper |
Formal Methods in Computer-Aided Design
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Correct Hardware Design and Verification Methods
Lecture Notes in Computer Science | 2006-10-20 | Paper |
Distributed symbolic model checking for \(\mu\)-calculus
Formal Methods in System Design | 2006-02-20 | Paper |
A Local Algorithm for Ad Hoc Majority Voting via Charge Fusion
Lecture Notes in Computer Science | 2005-08-17 | Paper |
FAST, EFFICIENT MUTUAL AND SELF SIMULATIONS FOR SHARED MEMORY AND RECONFIGURABLE MESH
Parallel Algorithms and Applications | 2004-10-06 | Paper |
Optimal point-to-point broadcast algorithms via lopsided trees
Discrete Applied Mathematics | 2004-02-18 | Paper |
A scalable parallel algorithm for reachability analysis of very large circuits
Formal Methods in System Design | 2003-05-04 | Paper |
Transparent adaptation of sharing granularity in MultiView-based DSM systems
Software: Practice and Experience | 2003-02-04 | Paper |
scientific article; zbMATH DE number 1798187 (Why is no real title available?)
| 2002-11-04 | Paper |
scientific article; zbMATH DE number 1670766 (Why is no real title available?)
| 2001-11-11 | Paper |
Interactive-rate animation generation by parallel progressive ray-tracing on distributed-memory machines
Journal of Parallel and Distributed Computing | 2001-10-01 | Paper |
scientific article; zbMATH DE number 1419210 (Why is no real title available?)
| 2000-09-18 | Paper |
Self-Simulation for the Passive Optical Star
Journal of Algorithms | 2000-03-16 | Paper |
A lower bound for nearly minimal adaptive and hot potato algorithms
Algorithmica | 1998-11-10 | Paper |
Potential function analysis of greedy hot-potato routing
Theory of Computing Systems | 1998-08-03 | Paper |
Randomized Single-Target Hot-Potato Routing
Journal of Algorithms | 1997-07-06 | Paper |
The Complexity of Data Reduction on a Reconfigurable Linear Array
Journal of Algorithms | 1996-02-26 | Paper |
The complexity of reconfiguring network models
Information and Computation | 1996-02-20 | Paper |
Improved memory utilization in deterministic PRAM simulation
Journal of Parallel and Distributed Computing | 1992-06-25 | Paper |
Communication aspects of networks based on geometric incidence relations
Theoretical Computer Science | 1989-01-01 | Paper |
