| 2023-10 |
Scalable NUMA-aware persistent B+-tree for non-volatile memory devices |
Cluster Computing
|
| 2023-04 |
EVMTracer: Dynamic Analysis of the Parallelization and Redundancy Potential in the Ethereum Virtual Machine |
IEEE Access
|
| 2023-04 |
Adaptive Regression Prefetching Algorithm by Using Big Data Application Characteristics |
Applied Sciences-basel
|
| 2023-03 |
Path-integrated Concentration and Multi-gas Detection in FTIR Spectroscopy with Deep Learning Methods |
Proceedings of SPIE - The International Society for Optical Engineering
|
| 2020-11 |
Design-space evaluation for non-blocking synchronization in Ada: lock elision of protected objects, concurrent objects, and low-level atomics |
JOURNAL OF SYSTEMS ARCHITECTURE
|
| 2020-01 |
Algorithm-Switching-Based Last-Level Cache Structure with Hybrid Main Memory Architecture |
COMPUTER JOURNAL
|
| 2019-01 |
Self-learnable Cluster-based Prefetching Method for DRAM-Flash Hybrid Main Memory Architecture |
ACM JOURNAL ON EMERGING TECHNOLOGIES IN COMPUTING SYSTEMS
|
| 2018-07 |
Regression Prefetcher with Preprocessing for DRAM-PCM Hybrid Main Memory |
IEEE COMPUTER ARCHITECTURE LETTERS
|
| 2017-08 |
JParEnt: Parallel entropy decoding for JPEG decompression on heterogeneous multicore architectures |
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE
|
| 2017-06 |
Dynamically Selective Performance Optimization Method for Mobile 3D Graphics Application with N-Screen Service |
WIRELESS PERSONAL COMMUNICATIONS
|
| 2016-02 |
Dynamic Partitioning-based JPEG Decompression on Heterogeneous Multicore Architectures |
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE
|
| 2015-06 |
LaminarIR: compile-time queues for structured streams |
ACM SIGPLAN NOTICES
|
| 2014-06 |
A Speculative Parallel DFA Membership Test for Multicore, SIMD and Cloud Computing Environments |
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING
|
| 2012-10 |
TinyVM: an energy-efficient execution infrastructure for sensor networks |
SOFTWARE PRACTICE & EXPERIENCE
|
| 2012-07 |
StreamPI: A stream-parallel programming extension for object-oriented programming languages |
JOURNAL OF SUPERCOMPUTING
|
| 2012-06 |
Profile-Guided Deployment of Stream Programs on Multicores |
ACM SIGPLAN NOTICES
|
| 2012-06 |
A symbolic analysis framework for static analysis of imperative programming languages |
JOURNAL OF SYSTEMS AND SOFTWARE
|
| 2012-04 |
Design, implementation and evaluation of a task-parallel JPEG decoder for the Libjpeg-turbo library |
International Journal of Multimedia and Ubiquitous Engineering
|
| 2011-03 |
Orchestration by Approximation Mapping Stream Programs onto Multicore Architectures |
ACM SIGPLAN NOTICES
|
| 2011-01 |
Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture |
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
|
| 2008-02 |
Minimal placement of bank selection instructions for partitioned memory architectures |
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS
|
| 2007-01 |
Static detection of livelocks in ada multitasking programs |
Lecture Notes in Computer Science
|
| 2006-10 |
Minimizing bank selection instructions for partitioned memory architecture |
CASES 2006: International Conference on Compilers, Architecture and Synthesis for Embedded Systems
|
| 2006-01 |
Symbolic analysis of imperative programming languages |
LECTURE NOTES IN COMPUTER SCIENCE
|
| 2006-01 |
Static detection of access anomalies in Ada95 |
LECTURE NOTES IN COMPUTER SCIENCE
|
| 2006-01 |
An embedded systems programming environment for C |
LECTURE NOTES IN COMPUTER SCIENCE
|
| 2004-01 |
On the tree width of Ada programs |
LECTURE NOTES IN COMPUTER SCIENCE
|
| 2003-01 |
Busy wait analysis |
LECTURE NOTES IN COMPUTER SCIENCE
|
| 2003-01 |
Eliminating redundant range checks in GNAT using symbolic evaluation |
LECTURE NOTES IN COMPUTER SCIENCE
|
| 2000-01 |
Symbolic data flow analysis for detecting deadlocks in Ada tasking programs |
LECTURE NOTES IN COMPUTER SCIENCE
|
| 1999-01 |
Interprocedural Symbolic Evaluation of Ada programs with aliases |
LECTURE NOTES IN COMPUTER SCIENCE
|
| 1998-01 |
Symbolic reaching definitions analysis of Ada programs |
LECTURE NOTES IN COMPUTER SCIENCE
|
| 1996-06 |
Augmenting Ada 95 with Additional Real-Time Features |
LECTURE NOTES IN COMPUTER SCIENCE
|