Frank Mueller

Orcid: 0000-0002-0258-0294

Affiliations:
  • North Carolina State University, Department of Computer Science, Raleigh, NC, USA
  • Humboldt University of Berlin, Germany
  • Florida State University, Tallahassee, FL, USA (PhD 1994)


According to our database1, Frank Mueller authored at least 218 papers between 1992 and 2023.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2018, "For contributions to the predictability of real-time systems, resilience in high-performance computing and multi-threading techniques".

IEEE Fellow

IEEE Fellow 2016, "For contributions to timing analysis of real-time systems".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
DISQ: Dynamic Iteration Skipping for Variational Quantum Algorithms.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

A PEPS Plugin for TNQVM.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

Synthesis of Approximate Parametric Circuits for Variational Quantum Algorithms.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

QisDAX: An Open Source Bridge from Qiskit to Trapped-Ion Quantum Devices.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023

2022
Guest editorial: Special issue on the 2020 IEEE symposium on real-time distributed computing (ISORC).
J. Syst. Archit., 2022

Combining Hard and Soft Constraints in Quantum Constraint-Satisfaction Systems.
Proceedings of the SC22: International Conference for High Performance Computing, 2022

CLAIRE: Enabling Continual Learning for Real-time Autonomous Driving with a Dual-head Architecture.
Proceedings of the 25th IEEE International Symposium On Real-Time Distributed Computing, 2022

P-ckpt: Coordinated Prioritized Checkpointing.
Proceedings of the 2022 IEEE International Parallel and Distributed Processing Symposium, 2022

T-SYS: Timed-Based System Security for Real-Time Kernels.
Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

2021
NUMA-aware memory coloring for multicore real-time systems.
J. Syst. Archit., 2021

Hummingbird: efficient performance prediction for executing genomic applications in the cloud.
Bioinform., 2021

Empirical evaluation of circuit approximations on noisy quantum devices.
Proceedings of the International Conference for High Performance Computing, 2021

Quantum Annealing Stencils with Applications to Fuel Loading of a Nuclear Reactor.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2021

T-Pack: Timed Network Security for Real Time Systems.
Proceedings of the 24th IEEE International Symposium on Real-Time Distributed Computing, 2021

Systemic Assessment of Node Failures in HPC Production Platforms.
Proceedings of the 35th IEEE International Parallel and Distributed Processing Symposium, 2021

2020
BarrierFinder: recognizing ad hoc barriers.
Empir. Softw. Eng., 2020

Just-in-time Quantum Circuit Transpilation Reduces Noise.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2020

Symbiotic HW Cache and SW DTLB Prefetching for DRAM/NVM Hybrid Memory.
Proceedings of the 28th International Symposium on Modeling, 2020

Aarohi: Making Real-Time Node Failure Prediction Feasible.
Proceedings of the 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2020

CodeSeer: input-dependent code variants selection via machine learning.
Proceedings of the ICS '20: 2020 International Conference on Supercomputing, 2020

Orchestrating Fault Prediction with Live Migration and Checkpointing.
Proceedings of the HPDC '20: The 29th International Symposium on High-Performance Parallel and Distributed Computing, 2020

VCFC: Structural and Semantic Compression and Indexing of Genetic Variant Data.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2020

2019
End-to-End Resilience for HPC Applications.
Proceedings of the High Performance Computing - 34th International Conference, 2019

Uncore power scavenger: a runtime for uncore power conservation on HPC systems.
Proceedings of the International Conference for High Performance Computing, 2019

Hiding DRAM Refresh Overhead in Real-Time Cyclic Executives.
Proceedings of the IEEE Real-Time Systems Symposium, 2019

Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation.
Proceedings of the Reversible Computation - 11th International Conference, 2019

Implementing NChooseK on IBM Q Quantum Computer Systems.
Proceedings of the Reversible Computation - 11th International Conference, 2019

Programming quantum computers: a primer with IBM Q and D-Wave exercises.
Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Performance characterization of a DRAM-NVM hybrid memory architecture for HPC applications using intel optane DC persistent memory modules.
Proceedings of the International Symposium on Memory Systems, 2019

The Colored Refresh Server for DRAM.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

FuncyTuner: Auto-tuning Scientific Applications With Per-loop Compilation.
Proceedings of the 48th International Conference on Parallel Processing, 2019

Evaluating Burst Buffer Placement in HPC Systems.
Proceedings of the 2019 IEEE International Conference on Cluster Computing, 2019

2018
A Failure Recovery Protocol for Software-Defined Real-Time Networks.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Co-Scheduling on Fused CPU-GPU Architectures With Shared Last Level Caches.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

KeyValueServe†: Design and performance analysis of a multi-tenant data grid as a cloud service.
Concurr. Comput. Pract. Exp., 2018

Doomsday: predicting which node will fail when on supercomputers.
Proceedings of the International Conference for High Performance Computing, 2018

Controller-aware memory coloring for multicore real-time systems.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Work-in-Progress: Making Machine Learning Real-Time Predictable.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Chameleon: Online Clustering of MPI Program Traces.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

PShifter: feedback-based dynamic power shifting within HPC jobs for performance.
Proceedings of the 27th International Symposium on High-Performance Parallel and Distributed Computing, 2018

Desh: deep learning for system health prediction of lead times to failure in HPC.
Proceedings of the 27th International Symposium on High-Performance Parallel and Distributed Computing, 2018

CloneHadoop: Process Cloning to Reduce Hadoop's Long Tail.
Proceedings of the 5th IEEE/ACM International Conference on Big Data Computing Applications and Technologies, 2018

2017
DINO: Divergent node cloning for sustained redundancy in HPC.
J. Parallel Distributed Comput., 2017

Scalable communication event tracing via clustering.
J. Parallel Distributed Comput., 2017

Architecting HBM as a high bandwidth, high capacity, self-managed last-level cache.
Proceedings of the 2nd Joint International Workshop on Parallel Data Storage & Data Intensive Scalable Computing Systems, 2017

ScalaIOExtrap: Elastic I/O Tracing and Extrapolation.
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017

A Linux Real-Time Packet Scheduler for Reliable Static SDN Routing.
Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017

2016
Efficient clustering for ultra-scale application tracing.
J. Parallel Distributed Comput., 2016

Exploiting data representation for fault tolerance.
J. Comput. Sci., 2016

Efficient and Predictable Group Communication for Manycore NoCs.
Proceedings of the High Performance Computing - 31st International Conference, 2016

Distributed Job Allocation for Large-Scale Manycores.
Proceedings of the High Performance Computing - 31st International Conference, 2016

TintMalloc: Reducing Memory Access Divergence via Controller-Aware Coloring.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium, 2016

A Power-Aware Cost Model for HPC Procurement.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

SparkScore: Leveraging Apache Spark for Distributed Genomic Inference.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, 2016

Hybrid MPI/OpenMP programming on the Tilera manycore architecture.
Proceedings of the International Conference on High Performance Computing & Simulation, 2016

Mini-Ckpts: Surviving OS Failures in Persistent Memory.
Proceedings of the 2016 International Conference on Supercomputing, 2016

Benchmark Generation and Simulation at Extreme Scale.
Proceedings of the 20th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2016

FlipSphere: A Software-Based DRAM Error Detection and Correction Library for HPC.
Proceedings of the 20th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2016

Reducing NoC and Memory Contention for Manycores.
Proceedings of the Architecture of Computing Systems - ARCS 2016, 2016

Power Tuning HPC Jobs on Power-Constrained Systems.
Proceedings of the 2016 International Conference on Parallel Architectures and Compilation, 2016

Performance Analysis of a Multi-tenant In-Memory Data Grid.
Proceedings of the 9th IEEE International Conference on Cloud Computing, 2016

2015
Static Task Partitioning for Locked Caches in Multicore Real-Time Systems.
ACM Trans. Embed. Comput. Syst., 2015

NoCMsg: A Scalable Message-Passing Abstraction for Network-on-Chips.
ACM Trans. Archit. Code Optim., 2015

Architecture aware semi partitioned real-time scheduling on multicore platforms.
Real Time Syst., 2015

HPC I/O trace extrapolation.
Proceedings of the 4th Workshop on Extreme Scale Programming Tools, 2015

Providing task isolation via TLB coloring.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

A Numerical Soft Fault Model for Iterative Linear Solvers.
Proceedings of the 24th International Symposium on High-Performance Parallel and Distributed Computing, 2015

Evaluation of Memory Access Arbitration Algorithm on Tilera's TILEPro64 Platform.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Hybrid EDF Packet Scheduling for Real-Time Distributed Systems.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

DINO: Divergent Node Cloning for Sustained Redundancy in HPC.
Proceedings of the 2015 IEEE International Conference on Cluster Computing, 2015

ACURDION: An adaptive clustering-based algorithm for tracing large-scale MPI applications.
Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015

2014
A methodology for automatic generation of executable communication specifications from parallel MPI applications.
ACM Trans. Parallel Comput., 2014

Resilience in Exascale Computing (Dagstuhl Seminar 14402).
Dagstuhl Reports, 2014

Tolerating Silent Data Corruption in Opaque Preconditioners.
CoRR, 2014

Resilience in Numerical Methods: A Position on Fault Models and Methodologies.
CoRR, 2014

Network-on-Chip aware scheduling of hard-real-time tasks.
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

A real-time distributed hash table.
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

Affinity-aware checkpoint restart.
Proceedings of the 15th International Middleware Conference, 2014

Understanding the tradeoffs between software-managed vs. hardware-managed caches in GPUs.
Proceedings of the 2014 IEEE International Symposium on Performance Analysis of Systems and Software, 2014

Evaluating the Impact of SDC on the GMRES Iterative Solver.
Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, 2014

Scalable performance analysis of exascale MPI programs through signature-based clustering algorithms.
Proceedings of the 2014 International Conference on Supercomputing, 2014

Snapify: capturing snapshots of offload applications on xeon phi manycore processors.
Proceedings of the 23rd International Symposium on High-Performance Parallel and Distributed Computing, 2014

ScalaJack: Customized Scalable Tracing with In-situ Data Analysis.
Proceedings of the Euro-Par 2014 Parallel Processing, 2014

NoCMsg: Scalable NoC-Based Message Passing.
Proceedings of the 14th IEEE/ACM International Symposium on Cluster, 2014

2013
Autogeneration and Autotuning of 3D Stencil Codes on Homogeneous and Heterogeneous GPU Clusters.
IEEE Trans. Parallel Distributed Syst., 2013

Best papers, IPDPS 2011.
J. Parallel Distributed Comput., 2013

Tools for Simulation and Benchmark Generation at Exascale.
Proceedings of the Tools for High Performance Computing 2013, 2013

Sustained Resilience via Live Process Cloning.
Proceedings of the 2013 IEEE International Symposium on Parallel & Distributed Processing, 2013

Elastic and scalable tracing and accurate replay of non-deterministic events.
Proceedings of the International Conference on Supercomputing, 2013

Hidp: A hierarchical data parallel language.
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

2012
ScalaExtrap: Trace-based communication extrapolation for SPMD programs.
ACM Trans. Program. Lang. Syst., 2012

Auto-generation of communication benchmark traces.
SIGMETRICS Perform. Evaluation Rev., 2012

Proactive process-level live migration and back migration in HPC environments.
J. Parallel Distributed Comput., 2012

Detection and correction of silent data corruption for large-scale high-performance computing.
Proceedings of the SC Conference on High Performance Computing Networking, 2012

Low Contention Mapping of Real-Time Tasks onto TilePro 64 Core Processors.
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Assessing HPC Failure Detectors for MPI Jobs.
Proceedings of the 20th Euromicro International Conference on Parallel, 2012

ScalaBenchGen: Auto-Generation of Communication Benchmarks Traces.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012

Evaluating operating system vulnerability to memory errors.
Proceedings of the 2nd International Workshop on Runtime and Operating Systems for Supercomputers, 2012

CuNesl: Compiling Nested Data-Parallel Languages for SIMT Architectures.
Proceedings of the 41st International Conference on Parallel Processing, 2012

Combining Partial Redundancy and Checkpointing for HPC.
Proceedings of the 2012 IEEE 32nd International Conference on Distributed Computing Systems, 2012

Fault Resilient Real-Time Design for NoC Architectures.
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012

Semi-Partitioned Hard-Real-Time Scheduling under Locked Cache Migration in Multicore Systems.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

Auto-generation and auto-tuning of 3D stencil codes on GPU clusters.
Proceedings of the 10th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2012

Static task partitioning for locked caches in multi-core real-time systems.
Proceedings of the 15th International Conference on Compilers, 2012

2011
Memory Trace Compression and Replay for SPMD Systems using Extended PRSDs?
SIGMETRICS Perform. Evaluation Rev., 2011

Making DRAM refresh predictable.
Real Time Syst., 2011

Data-intensive document clustering on graphics processing unit (GPU) clusters.
J. Parallel Distributed Comput., 2011

Poster: detection and correction of silent data corruption for large-scale high-performance computing.
Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2011

Poster: a tunable, software-based DRAM error detection and correction library for HPC.
Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis, 2011

Predictable task migration for locked caches in multi-core systems.
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

Automatic Generation of Executable Communication Specifications from Parallel Applications.
Proceedings of the 25th IEEE International Symposium on Parallel and Distributed Processing, 2011

GStream: A General-Purpose Data Streaming Framework on GPU Clusters.
Proceedings of the International Conference on Parallel Processing, 2011

Probabilistic Communication and I/O Tracing with Deterministic Replay at Scale.
Proceedings of the International Conference on Parallel Processing, 2011

A Tunable, Software-Based DRAM Error Detection and Correction Library for HPC.
Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011

2010
Tightening the bounds on feasible preemptions.
ACM Trans. Embed. Comput. Syst., 2010

Parametric timing analysis and its application to dynamic voltage scaling.
ACM Trans. Embed. Comput. Syst., 2010

Feedback-directed page placement for ccNUMA via hardware-generated memory traces.
J. Parallel Distributed Comput., 2010

ScalaTrace: Tracing, Analysis and Modeling of HPC Codes at Scale.
Proceedings of the Applied Parallel and Scientific Computing, 2010

Large-scale multi-dimensional document clustering on GPU clusters.
Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

Fault Tolerant Network Routing through Software Overlays for Intelligent Power Grids.
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

Hybrid Checkpointing for MPI Jobs in HPC Environments.
Proceedings of the 16th IEEE International Conference on Parallel and Distributed Systems, 2010

Time-based intrusion detection in cyber-physical systems.
Proceedings of the ACM/IEEE 1st International Conference on Cyber-Physical Systems, 2010

2009
ScalaTrace: Scalable compression and replay of communication traces for high-performance computing.
J. Parallel Distributed Comput., 2009

Improving the availability of supercomputer job input data using temporal replication.
Comput. Sci. Res. Dev., 2009

Bounding Worst-Case Response Times of Tasks under PIP.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

A tunable holistic resiliency approach for high-performance computing systems.
Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2009

Push-assisted migration of real-time tasks in multi-core processors.
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

09191 Abstracts Collection - Fault Tolerance in High-Performance Computing and Grids.
Proceedings of the Fault Tolerance in High-Performance Computing and Grids, 03.05., 2009

CheckerCore: enhancing an FPGA soft core to capture worst-case execution times.
Proceedings of the 2009 International Conference on Compilers, 2009

2008
The worst-case execution-time problem - overview of methods and survey of tools.
ACM Trans. Embed. Comput. Syst., 2008

Proactive process-level live migration in HPC environments.
Proceedings of the ACM/IEEE Conference on High Performance Computing, 2008

Merging State and Preserving Timing Anomalies in Pipelines of High-End Processors.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Bounding Worst-Case Response Time for Tasks with Non-Preemptive Regions.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

PFetch: software prefetching exploiting temporal predictability of memory access streams.
Proceedings of the 9th workshop on MEmory performance, 2008

Preserving time in large-scale communication traces.
Proceedings of the 22nd Annual International Conference on Supercomputing, 2008

On-the-Fly Recovery of Job Input Data in Supercomputers.
Proceedings of the 2008 International Conference on Parallel Processing, 2008

2007
Source-Code-Correlated Cache Coherence Characterization of OpenMP Benchmarks.
IEEE Trans. Parallel Distributed Syst., 2007

METRIC: Memory tracing via dynamic binary rewriting to identify cache inefficiencies.
ACM Trans. Program. Lang. Syst., 2007

Exploiting synchronous and asynchronous DVS for feedback EDF scheduling on an embedded platform.
ACM Trans. Embed. Comput. Syst., 2007

Optimizing center performance through coordinated data staging, scheduling and recovery.
Proceedings of the ACM/IEEE Conference on High Performance Networking and Computing, 2007

DVSleak: combining leakage reduction and voltage scaling in feedback EDF scheduling.
Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

Generalizing parametric timing analysis.
Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

A Job Pause Service under LAM/MPI+BLCR for Transparent Fault Tolerance.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Scalable Compression and Replay of Communication Traces in Massively P arallel E nvironments.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Proactive fault tolerance for HPC with Xen virtualization.
Proceedings of the 21th Annual International Conference on Supercomputing, 2007

2006
FAST: Frequency-aware static timing analysis.
ACM Trans. Embed. Comput. Syst., 2006

Analysis of cache-coherence bottlenecks with hybrid hardware/software techniques.
ACM Trans. Archit. Code Optim., 2006

MOLAR: adaptive runtime support for high-end computing operating and runtime systems.
ACM SIGOPS Oper. Syst. Rev., 2006

Improving WCET by applying worst-case path optimizations.
Real Time Syst., 2006

2006 WCET Abstracts Collection - 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.
Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

2006 WCET Preface - Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time Analysis (WCET'06).
Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

Poster reception - Scalable compression and replay of communication traces in massively parallel environments.
Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, 2006

Tightening the Bounds on Feasible Preemption Points.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Bounding Preemption Delay within Data Cache Reference Patterns for Real-Time Tasks.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Hardware profile-guided automatic page placement for ccNUMA systems.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2006

Scalable, fault tolerant membership for MPI tasks on HPC systems.
Proceedings of the 20th Annual International Conference on Supercomputing, 2006

2005
Introduction to the special issue.
ACM Trans. Embed. Comput. Syst., 2005

Improving WCET by applying a WC code-positioning optimization.
ACM Trans. Archit. Code Optim., 2005

Feedback EDF Scheduling of Real-Time Tasks Exploiting Dynamic Voltage Scaling.
Real Time Syst., 2005

Cross-Platform Performance Prediction of Parallel Applications Using Partial Execution.
Proceedings of the ACM/IEEE SC2005 Conference on High Performance Networking and Computing, 2005

ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Improving WCET by Optimizing Worst-Case Paths.
Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

Bounding Worst-Case Data Cache Behavior by Analytically Deriving Cache Reference Patterns.
Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

Timing Analysis for Sensor Network Nodes of the Atmega Processor Family.
Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

Feedback EDF scheduling exploiting hardware-assisted asynchronous dynamic voltage scaling.
Proceedings of the 2005 ACM SIGPLAN/SIGBED Conference on Languages, 2005

A hybrid hardware/software approach to efficiently determine cache coherence Bottlenecks.
Proceedings of the 19th Annual International Conference on Supercomputing, 2005

2004
Scalable hierarchical locking for distributed systems.
J. Parallel Distributed Comput., 2004

WCET Code Positioning.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Enforcing Safety of Real-Time Schedules on Contemporary Processors Using a Virtual Simple Architecture (VISA).
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Feedback EDF Scheduling Exploiting Dynamic Voltage Scaling.
Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

Tuning the WCET of Embedded Applications.
Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

Compositional static instruction cache simulation.
Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, 2004

Timing Analysis: In Search of Multiple Paradigms.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Detailed cache coherence characterization for OpenMP benchmarks.
Proceedings of the 18th Annual International Conference on Supercomputing, 2004

2003
Communication characteristics of large-scale scientific applications for contemporary cluster architectures.
J. Parallel Distributed Comput., 2003

Analyzing and modeling encryption overhead for sensor network nodes.
Proceedings of the Second ACM International Conference on Wireless Sensor Networks and Applications, 2003

Identifying and Exploiting Spatial Regularity in Data Memory References.
Proceedings of the ACM/IEEE SC2003 Conference on High Performance Networking and Computing, 2003

Virtual Simple Architecture (VISA): Exceeding the Complexity Limit in Safe Real-Time Systems.
Proceedings of the 30th International Symposium on Computer Architecture (ISCA 2003), 2003

A Log(n) Multi-Mode Locking Protocol for Distributed Systems.
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Scalable Distributed Concurrency Services for Hierarchical Locking.
Proceedings of the 23rd International Conference on Distributed Computing Systems (ICDCS 2003), 2003

METRIC: Tracking Down Inefficiencies in the Memory Hierarchy via Binary Rewriting.
Proceedings of the 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 2003

Encryption overhead in embedded systems and sensor network nodes: modeling and analysis.
Proceedings of the International Conference on Compilers, 2003

2002
Handling irreducible loops: optimized node splitting versus DJ-graphs.
ACM Trans. Program. Lang. Syst., 2002

LegoSim: simulation of embedded kernels over Pthreads.
ACM J. Educ. Resour. Comput., 2002

Energy-conserving feedback EDF scheduling for embedded systems with real-time constraints.
Proceedings of the 2002 Joint Conference on Languages, 2002

A brief overview of scalable distributed concurrency services for hierarchical locking.
Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, 2002

2001
A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints.
Real Time Syst., 2001

Parametric Timing Analysis.
Proceedings of The Workshop on Languages, 2001

Fault-Tolerance for Token-based Synchronization Protocols.
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Handling Irreducible Loops: Optimized Node Splitting vs. DJ-Graphs.
Proceedings of the Euro-Par 2001: Parallel Processing, 2001

2000
Timing Analysis for Instruction Caches.
Real Time Syst., 2000

A thread-aware debugger with an open interface.
Proceedings of the International Symposium on Software Testing and Analysis, 2000

Clix - A Hybrid Programming Environment for Distributed Objects and Distributed Shared Memory.
Proceedings of the Parallel and Distributed Processing, 2000

Token-Based Read/Write-Locks for Distributed Mutual Exclusion.
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

1999
Bounding Pipeline and Instruction Cache Performance.
IEEE Trans. Computers, 1999

Timing Analysis for Data and Wrap-Around Fill Caches.
Real Time Syst., 1999

Priority Inheritance and Ceilings for Distributed Mutual Exclusion.
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

Adaptive DSM-Behavior via Speculative Data Distribution.
Proceedings of the Parallel and Distributed Processing, 1999

1998
The Rendezvous is Dead - Long Live the Protected Object.
Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

Prioritized Token-Based Mutual Exclusion for Distributed Systems.
Proceedings of the 12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP '98), March 30, 1998

1997
The 3rd ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems (Workshop Report).
ACM SIGPLAN Notices, 1997

Timing Analysis for Data Caches and Set-Associative Caches.
Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium, 1997

On the Design and Implementation of DSM-Threads.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

Generalizing timing predictions to set-associative caches.
Proceedings of the Ninth Euromicro Workshop on Real-Time Systems, 1997

Supporting Ada 95 Passive Partitions in a Distributed Environment.
Proceedings of the Reliable Software Technologies, 1997

1995
MiThOS - A Real-Time Micro-Kernel Threads Operating System.
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Avoiding Conditional Branches by Code Replication.
Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

Compiler Support for Software-Based Cache Partitioning.
Proceedings of the ACM SIGPLAN 1995 Workshop on Languages, 1995

Fast instruction cache analysis via static cache simulation.
Proceedings of the Proceedings 28st Annual Simulation Symposium (SS '95), 1995

1994
Static cache simulation and its applications.
PhD thesis, 1994

Features of the GNU Ada Runtime Library.
Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation.
Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

Bounding Worst-Case Instruction Cache Performance.
Proceedings of the 15th IEEE Real-Time Systems Symposium (RTSS '94), 1994

Real-Time Debugging by Minimal Hardware Simulation.
Proceedings of the PEARL 94, 1994

1993
A Library Implementation of POSIX Threads under UNIX.
Proceedings of the Usenix Winter 1993 Technical Conference, 1993

Implementing Ada 9X Features Using POSIX Threads: Design Issues.
Proceedings of the Conference Proceedings on TRI-Ada 1993, 1993

1992
Avoiding Unconditional Jumps by Code Replication.
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992


  Loading...