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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Assaf Schuster