Is this your profile?
Claim your Citation Index profile in order to display more information about you and gain access to Libraries services. Just create or connect your ORCID iD.
2024 article
OpenMP-RT: Native Pragma Support for Real-Time Tasks and Synchronization with LLVM under Linux
PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024, pp. 119–130.
2024 article
Predicting GPUDirect Benefits for HPC Workloads
2024 32ND EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING, PDP 2024, pp. 88–97.
2022 article
CLAIRE: Enabling Continual Learning for Real-time Autonomous Driving with a Dual-head Architecture
2022 IEEE 25TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2022), pp. 51–60.
2022 article
Combining Hard and Soft Constraints in Quantum Constraint-Satisfaction Systems
SC22: INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS.
2022 article
Guest editorial: Special issue on the 2020 IEEE symposium on real-time distributed computing (ISORC)
Cucinotta, T., Mueller, F., & Simmhan, Y. (2022, March). JOURNAL OF SYSTEMS ARCHITECTURE, Vol. 124.
2022 article
P-ckpt: Coordinated Prioritized Checkpointing
2022 IEEE 36TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2022), pp. 436–446.
2022 article
T-SYS: Timed-Based System Security for Real-Time Kernels
2022 13TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2022), pp. 247–258.
2021 journal article
Hummingbird: efficient performance prediction for executing genomic applications in the cloud
BIOINFORMATICS, 37(17), 2537–2543.
2021 article
Mapping Constraint Problems onto Quantum Gate and Annealing Devices
PROCEEDINGS OF SECOND INTERNATIONAL WORKSHOP ON QUANTUM COMPUTING SOFTWARE (QCS 2021), pp. 110–117.
2021 journal article
NUMA-aware memory coloring for multicore real-time systems
JOURNAL OF SYSTEMS ARCHITECTURE, 118.
2021 article
Quantum Annealing Stencils with Applications to Fuel Loading of a Nuclear Reactor
2021 IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING (QCE 2021) / QUANTUM WEEK 2021, pp. 265–275.
2021 article
Systemic Assessment of Node Failures in HPC Production Platforms
2021 IEEE 35TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), pp. 267–276.
2021 article
T-Pack: Timed Network Security for Real Time Systems
2021 IEEE 24TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2021), pp. 20–28.
2020 article
Aarohi: Making Real-Time Node Failure Prediction Feasible
2020 IEEE 34TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM IPDPS 2020, pp. 1092–1101.
2020 journal article
BarrierFinder: recognizing ad hoc barriers
EMPIRICAL SOFTWARE ENGINEERING, 25(6), 4676–4706.
2020 article
Just-in-time Quantum Circuit Transpilation Reduces Noise
IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING (QCE20), pp. 345–355.
2020 conference paper
Symbiotic HW Cache and SW DTLB Prefetching for DRAM/NVM Hybrid Memory
2020 28th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), 1–8.
Event: 2020 28th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS) at Nice, France
2020 article
VCFC: Structural and Semantic Compression and Indexing of Genetic Variant Data
2020 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE, pp. 200–203.
2019 article
Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation
REVERSIBLE COMPUTATION (RC 2019), Vol. 11497, pp. 146–161.
2019 article
BARRIERFINDER: Recognizing Ad Hoc Barriers
2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019), pp. 323–327.
2019 article
End-to-End Resilience for HPC Applications
HIGH PERFORMANCE COMPUTING, ISC HIGH PERFORMANCE 2019, Vol. 11501, pp. 271–290.
2019 article
FuncyTuner: Auto-tuning Scientific Applications With Per-loop Compilation
PROCEEDINGS OF THE 48TH INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING (ICPP 2019).
2019 article
Implementing NChooseK on IBM Q Quantum Computer Systems
REVERSIBLE COMPUTATION (RC 2019), Vol. 11497, pp. 209–223.
2019 conference paper
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 - MEMSYS '19. Presented at the the International Symposium.
Event: the International Symposium
2019 article
Programming Quantum Computers: A Primer with IBM Q and D-Wave Exercises
PROCEEDINGS OF THE 24TH SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING (PPOPP '19), pp. 451–451.
2019 article
The Colored Refresh Server for DRAM
2019 IEEE 22ND INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2019), pp. 27–34.
2019 article
The Colored Refresh Server for DRAM
2019 IEEE 40TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2019), pp. 146–153.
2019 article
Uncore Power Scavenger: A Runtime for Uncore Power Conservation on HPC Systems
PROCEEDINGS OF SC19: THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS.
2018 article
A Failure Recovery Protocol for Software-Defined Real-Time Networks
Qian, T., & Mueller, F. (2018, November). IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, Vol. 37, pp. 2222–2232.
2018 article
Chameleon: Online Clustering of MPI Program Traces
2018 32ND IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), pp. 1102–1112.
2018 article
CloneHadoop: Process Cloning to Reduce Hadoop's Long Tail
2018 IEEE/ACM 5TH INTERNATIONAL CONFERENCE ON BIG DATA COMPUTING APPLICATIONS AND TECHNOLOGIES (BDCAT), pp. 11–20.
2018 article
Co-Scheduling on Fused CPU-GPU Architectures With Shared Last Level Caches
Damschen, M., Mueller, F., & Henkel, J. (2018, November). IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, Vol. 37, pp. 2337–2347.
2018 article
Controller-Aware Memory Coloring for Multicore Real-Time Systems
33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, pp. 584–592.
2018 article
Desh: Deep Learning for System Health Prediction of Lead Times to Failure in HPC
HPDC '18: PROCEEDINGS OF THE 27TH INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE PARALLEL AND DISTRIBUTED COMPUTING, pp. 40–51.
2018 journal article
KeyValueServe(dagger): Design and performance analysis of a multi-tenant data grid as a cloud service
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 30(14).
2018 article
PShiter: Feedback-based Dynamic Power Shiting within HPC Jobs for Performance
HPDC '18: PROCEEDINGS OF THE 27TH INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE PARALLEL AND DISTRIBUTED COMPUTING, pp. 106–117.
2018 article
Work-In-Progress: Making Machine Learning Real-Time Predictable
2018 39TH IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2018), pp. 157–160.
2017 journal article
DINO: Divergent node cloning for sustained redundancy in HPC
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 109, 350–362.
2017 article
ScalaIOExtrap: Elastic I/O Tracing and Extrapolation
2017 31ST IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), pp. 585–594.
2017 journal article
Scalable communication event tracing via clustering
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 109, 230–244.
2016 article
A Power-aware Cost Model for HPC Procurement
2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), pp. 1110–1113.
2016 conference paper
A resilient software infrastructure for wide-area measurement systems
2016 ieee power and energy society general meeting (pesgm).
2016 article
Benchmark Generation and Simulation at Extreme Scale
2016 IEEE/ACM 20TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), pp. 9–18.
2016 chapter
Distributed Job Allocation for Large-Scale Manycores
In Lecture Notes in Computer Science (pp. 404–425).
2016 conference paper
Distributed job allocation for large-scale manycores
High performance computing, 9697, 404–425.
2016 chapter
Efficient and Predictable Group Communication for Manycore NoCs
In Lecture Notes in Computer Science (pp. 383–403).
2016 conference paper
Efficient and predictable group communication for manycore NoCs
High performance computing, 9697, 383–403.
2016 journal article
Efficient clustering for ultra-scale application tracing
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 98, 25–39.
2016 journal article
Exploiting data representation for fault tolerance
Journal of Computational Science, 14, 51–60.
2016 article
FlipSphere: A Software-based DRAM Error Detection and Correction Library for HPC
2016 IEEE/ACM 20TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), pp. 19–28.
2016 conference paper
Hybrid MPI/OpenMP programming on the Tilera manycore architecture
2016 International Conference on High Performance Computing & Simulation (HPCS 2016), 326–333.
2016 conference paper
Performance analysis of a multi-tenant in-memory data grid
Proceedings of 2016 ieee 9th international conference on cloud computing (cloud), 956–959.
2016 chapter
Reducing NoC and Memory Contention for Manycores
In Architecture of Computing Systems – ARCS 2016 (pp. 293–305).
2016 conference paper
Sensitivity analysis for a quantum informed ferroelectric energy model
Proceedings of the asme conference on smart materials adaptive.
2016 article
SparkScore: Leveraging Apache Spark for Distributed Genomic Inference
2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), pp. 435–442.
2016 article
TintMalloc: Reducing Memory Access Divergence via Controller-Aware Coloring
2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2016), pp. 363–372.
2015 journal article
A fine-grained block ILU scheme on regular structures for GPGPUs
COMPUTERS & FLUIDS, 119, 149–161.
2015 journal article
Architecture aware semi partitioned real-time scheduling on multicore platforms
REAL-TIME SYSTEMS, 51(3), 274–313.
2015 article
DINO: Divergent Node Cloning for Sustained Redundancy in HPC
2015 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING - CLUSTER 2015, pp. 180–183.
2015 article
Evaluation of Memory Access Arbitration Algorithm on Tilera's TILEPro64 platform
2015 IEEE 17TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2015 IEEE 7TH INTERNATIONAL SYMPOSIUM ON CYBERSPACE SAFETY AND SECURITY, AND 2015 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS), pp. 1154–1159.
2015 article
Hybrid EDF Packet Scheduling for Real-Time Distributed Systems
PROCEEDINGS OF THE 2015 27TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2015), pp. 37–46.
2015 article
Intrusion Detection for CPS Real-Time Controllers
CYBER PHYSICAL SYSTEMS APPROACH TO SMART ELECTRIC POWER GRID, pp. 329–358.
2015 journal article
NoCMsg: A Scalable Message-Passing Abstraction for Network-on-Chips
ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 12(1).
2015 journal article
OpenACC acceleration of an unstructured CFD solver based on a reconstructed discontinuous Galerkin method for compressible flows
International Journal for Numerical Methods in Fluids, 78(3), 123–139.
2015 conference paper
Providing task isolation via TLB coloring
21st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2015), 3–13.
2015 journal article
Reliable and scalable communication for the power grid
Cyber Physical Systems Approach to Smart Electric Power Grid, 195–217.
2015 journal article
Static Task Partitioning for Locked Caches in Multicore Real-Time Systems
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 14(1).
2014 conference paper
A real-time distributed hash table
2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).
2014 conference paper
A real-time distributed storage system for multi-resolution virtual synchrophasor
2014 IEEE PES General Meeting | Conference & Exposition. Presented at the 2014 IEEE Power & Energy Society General Meeting.
Event: 2014 IEEE Power & Energy Society General Meeting
2014 article
Evaluating the Impact of SDC on the GMRES Iterative Solver
2014 IEEE 28TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM.
2014 article
NoCMsg: Scalable NoC-Based Message Passing
2014 14TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND GRID COMPUTING (CCGRID), pp. 186–195.
2014 chapter
ScalaJack: Customized Scalable Tracing with In-situ Data Analysis
In Lecture Notes in Computer Science (pp. 13–25).
2014 chapter
Tools for Simulation and Benchmark Generation at Exascale
In Tools for High Performance Computing 2013 (pp. 19–24).
2014 conference paper
Understanding the tradeoffs between software-managed vs. hardware-managed caches in GPUs
Ieee international symposium on performance analysis of systems and, 231–241.
2013 article
Best papers, IPDPS 2011
Mueller, F. (2013, July). JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, Vol. 73, pp. 939–939.
2013 conference paper
HiDP: A hierarchical data parallel language
Proceedings of the 2013 ieee/acm international symposium on code generation and optimization (cgo), 171–181.
2012 chapter
A Tunable, Software-Based DRAM Error Detection and Correction Library for HPC
In Euro-Par 2011: Parallel Processing Workshops (pp. 251–261).
2012 journal article
Autogeneration and Autotuning of 3D Stencil Codes on Homogeneous and Heterogeneous GPU Clusters
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 24(3), 417–427.
2012 article
Combining Partial Redundancy and Checkpointing for HPC
2012 IEEE 32ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS), pp. 615–626.
2012 conference paper
Detection and correction of silent data corruption for large-scale high-performance computing
International conference for high performance computing networking.
2012 article
Low ContentionMapping of Real-Time Tasks onto a TilePro 64 Core Processor
2012 IEEE 18TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS), pp. 131–140.
2012 journal article
SCALAEXTRAP: Trace-Based Communication Extrapolation for SPMD Programs
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 34(1).
2012 article
ScalaBenchGen: Auto-Generation of Communication Benchmarks Traces
2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), pp. 1250–1260.
2012 chapter
ScalaTrace: Tracing, Analysis and Modeling of HPC Codes at Scale
In Applied Parallel and Scientific Computing (pp. 410–418).
2012 conference paper
ScalaTrace: Tracing, analysis and modeling of HPC codes at scale
Applied parallel and scientific computing, pt ii, 7134, 410–418.
2012 conference paper
Static task partitioning for locked caches in multi-core real-time systems
Cases'12: proceedings of the 2012 ACM International Conference on Compilers, Architectures and Synthesis for Embedded Systems, 161–170.
2011 journal article
Making DRAM refresh predictable
REAL-TIME SYSTEMS, 47(5), 430–453.
2011 journal article
Memory Trace Compression and Replay for SPMD Systems Using Extended PRSDs
COMPUTER JOURNAL, 55(2), 206–217.
2011 journal article
Predictable Task Migration for Locked Caches in Multi-Core Systems
ACM SIGPLAN NOTICES, 46(5), 131–140.
2011 conference paper
Predictable task migration for locked caches in multi-core systems
LCTES 11: Proceedings of the ACM Sigplan/Sigbed 2011 Conference on Languages, Complilers, Tools and Theory for Embedded Systems, 131–140.
2011 journal article
Proactive process-level live migration and back migration in HPC environments
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 72(2), 254–267.
2011 article
ScalaExtrap: Trace-Based Communication Extrapolation for SPMD Programs
Wu, X., & Mueller, F. (2011, August). ACM SIGPLAN NOTICES, Vol. 46, pp. 113–122.
2010 journal article
Data-intensive document clustering on graphics processing unit (GPU) clusters
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 71(2), 211–224.
2010 journal article
Feedback-directed page placement for ccNUMA via hardware-generated memory traces
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 70(12), 1204–1219.
2010 journal article
Parametric Timing Analysis and Its Application to Dynamic Voltage Scaling
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 10(2).
2010 journal article
Tightening the Bounds on Feasible Preemptions
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 10(2).
2009 article
A Tunable Holistic Resiliency Approach for High-Performance Computing Systems
Scott, S. L., Engelmann, C., Vallee, G. R., Naughton, T., Tikotekar, A., Ostrouchov, G., … Varma, J. (2009, April). ACM SIGPLAN NOTICES, Vol. 44, pp. 305–306.
2009 journal article
Improving the availability of supercomputer job input data using temporal replication
Computer Science - Research and Development, 23(3-4), 149–157.
2009 article
Push-Assisted Migration of Real-Time Tasks in Multi-Core Processors
Sarkar, A., Mueller, F., Ramaprasad, H., & Mohan, S. (2009, July). ACM SIGPLAN NOTICES, Vol. 44, pp. 80–89.
2008 article
ScalaTrace: Scalable compression and replay of communication traces for high-performance computing
Noeth, M., Ratn, P., Mueller, F., Schulz, M., & Supinski, B. R. (2009, August). JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, Vol. 69, pp. 696–710.
2008 review
The worst-case execution-time problem - Overview of methods and survey of tools
[Review of ]. ACM Transactions on Embedded Computing Systems, 7(3).
2007 article
DVSleak: Combining leakage reduction and voltage scaling in feedback EDF scheduling
Zhu, Y., & Mueller, F. (2007, July). ACM SIGPLAN NOTICES, Vol. 42, pp. 31–40.
2007 journal article
Exploiting synchronous and asynchronous DVS for feedback EDF scheduling on an embedded platform
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 7(1).
2007 article
Generalizing parametric timing analysis
Coffman, J., Healy, C., Mueller, F., & Whalley, D. (2007, July). ACM SIGPLAN NOTICES, Vol. 42, pp. 152–154.
2007 journal article
METRIC: Memory tracing via dynamic binary rewriting to identify cache inefficiencies
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 29(2).
2007 journal article
Source-code-correlated cache coherence characterization of OpenMP benchmarks
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 18(6), 818–834.
2006 journal article
FAST: Frequency-Aware Static Timing Analysis
ACM Transactions on Programming Languages and Systems, 5(1), 200–224.
2006 journal article
Improving WCET by applying worst-case path optimizations
REAL-TIME SYSTEMS, 34(2), 129–152.
2005 article
Enforcing safety of real-time schedules on contemporary processors using a virtual simple architecture (VISA)
25TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, pp. 114–125.
2005 article
Feedback EDF scheduling exploiting hardware-assisted asynchronous dynamic voltage scaling
Zhu, Y. F., & Mueller, F. (2005, July). ACM SIGPLAN NOTICES, Vol. 40, pp. 203–212.
2005 journal article
Feedback EDF scheduling of real-time tasks exploiting dynamic voltage scaling
REAL-TIME SYSTEMS, 31(1-3), 33–63.
2004 article
Compositional static instruction cache simulation
Patil, K., Seth, K., & Mueller, F. (2004, July). ACM SIGPLAN NOTICES, Vol. 39, pp. 136–145.
2004 article
FAST: Frequency-aware static timing analysis
RTSS 2003: 24TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, pp. 40–51.
2003 article
Communication characteristics of large-scale scientific applications for contemporary cluster architectures
Vetter, J. S., & Mueller, F. (2003, September). JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, Vol. 63, pp. 853–865.
2003 journal article
Scalable hierarchical locking for distributed systems
JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 64(6), 708–724.
2003 conference paper
Virtual Simple Architecture (VISA): Exceeding the complexity limit in safe real-time systems
Computers and their applications :|bproceedings of the ISCA 16th International Conference, Seattle, Washington, USA, March 28-30, 2001, 350–361. Cary, NC: ISCA.
2002 article
Energy-conserving feedback EDF scheduling for embedded systems with real-time constraints
Dudani, A., Mueller, F., & Zhu, Y. F. (2002, July). ACM SIGPLAN NOTICES, Vol. 37, pp. 213–222.
2002 journal article
Handling irreducible loops: Optimized node splitting versus DJ-Graphs
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 24(4), 299–333.
2001 journal article
A comparison of static analysis and evolutionary testing for the verification of timing constraints
REAL-TIME SYSTEMS, 21(3), 241–268.
2001 book
High-level parallel programming models and supportive environments 6th international workshop, HIPS 2001, San Francisco, CA, USA, April 23, 2001 : proceedings
New York: Springer.
Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.
Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.