Assaf Schuster

Available identifiers

zbMath Open schuster.assafMaRDI QIDQ192371

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6126301	2024-04-09	Paper
Self-simulation for the Passive Optical Star model	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	2020-11-30	Paper
A lower bound for nearly minimal adaptive and hot potato algorithms	2017-12-05	Paper
Potential function analysis of greedy hot-potato routing	2017-09-29	Paper
Distributed geometric query monitoring using prediction models	2016-03-02	Paper
Veracity radius	2015-03-10	Paper
A scheduling framework for large-scale, parallel, and topology-aware applications	2012-03-07	Paper
Top-\(k\) vectorial aggregation queries in a distributed environment	2011-08-19	Paper
Computer Aided Verification	2010-04-20	Paper
Hybrid BDD and All-SAT Method for Model Checking	2009-06-03	Paper
Efficient Dynamic Aggregation	2008-09-09	Paper
3-Valued Circuit SAT for STE with Automatic Refinement	2008-07-03	Paper
Scaling model checking of dataraces using dynamic information	2007-05-23	Paper
VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND	2007-03-13	Paper
A platform-independent distributed runtime for standard multithreaded Java	2006-11-17	Paper
A work-efficient distributed algorithm for reachability analysis	2006-10-24	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
Distributed symbolic model checking for \(\mu\)-calculus	2006-02-20	Paper
A Local Algorithm for Ad Hoc Majority Voting via Charge Fusion	2005-08-17	Paper
FAST, EFFICIENT MUTUAL AND SELF SIMULATIONS FOR SHARED MEMORY AND RECONFIGURABLE MESH	2004-10-06	Paper
Optimal point-to-point broadcast algorithms via lopsided trees	2004-02-18	Paper
A scalable parallel algorithm for reachability analysis of very large circuits	2003-05-04	Paper
Transparent adaptation of sharing granularity in MultiView-based DSM systems	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4553260	2002-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q2754071	2001-11-11	Paper
Interactive-rate animation generation by parallel progressive ray-tracing on distributed-memory machines	2001-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4942227	2000-09-18	Paper
Self-Simulation for the Passive Optical Star	2000-03-16	Paper
A lower bound for nearly minimal adaptive and hot potato algorithms	1998-11-10	Paper
Potential function analysis of greedy hot-potato routing	1998-08-03	Paper
Randomized Single-Target Hot-Potato Routing	1997-07-06	Paper
The Complexity of Data Reduction on a Reconfigurable Linear Array	1996-02-26	Paper
The complexity of reconfiguring network models	1996-02-20	Paper
Improved memory utilization in deterministic PRAM simulation	1992-06-25	Paper
Communication aspects of networks based on geometric incidence relations	1989-01-01	Paper

Research outcomes over time

This page was built for person: Assaf Schuster