Felix Winterstein
Título
Citado por
Citado por
Ano
Coping with closure: An international comparison of mine town experiences
C Neil, M Tykkyläinen, J Bradbury
326*1992
High-Level Synthesis of Dynamic Data Structures: A Case Study Using Vivado HLS
F Winterstein, S Bayliss, GA Constantinides
International Conference on Field-Programmable Technology (FPT), 362 - 365, 2013
1052013
FPGA-based K-means clustering using tree-based data structures
F Winterstein, S Bayliss, GA Constantinides
2013 23rd International Conference on Field programmable Logic and …, 2013
502013
MATCHUP: memory abstractions for heap manipulating programs
F Winterstein, K Fleming, HJ Yang, S Bayliss, G Constantinides
Proceedings of the 2015 ACM/SIGDA International Symposium on Field …, 2015
312015
A case for work-stealing on FPGAs with OpenCL atomics
N Ramanathan, J Wickerson, F Winterstein, GA Constantinides
Proceedings of the 2016 ACM/SIGDA International Symposium on Field …, 2016
272016
Separation Logic-Assisted Code Transformations for Efficient High-Level Synthesis
F Winterstein, S Bayliss, G Constantinides
IEEE 22nd Annual International Symposium on Field-Programmable Custom …, 2014
202014
Scavenger: Automating the construction of application-optimized memory hierarchies
HJ Yang, K Fleming, M Adler, F Winterstein, J Emer
2015 25th International Conference on Field Programmable Logic and …, 2015
132015
Custom-sized caches in application-specific memory hierarchies
F Winterstein, K Fleming, HJ Yang, J Wickerson, G Constantinides
2015 International Conference on Field Programmable Technology (FPT), 144-151, 2015
112015
Separation logic for high-level synthesis
FJ Winterstein, SR Bayliss, GA Constantinides
ACM Transactions on Reconfigurable Technology and Systems (TRETS) 9 (2), 1-23, 2015
102015
LMC: Automatic resource-aware program-optimized memory partitioning
HJ Yang, K Fleming, M Adler, F Winterstein, J Emer
Proceedings of the 2016 ACM/SIGDA International Symposium on Field …, 2016
82016
Automatic construction of program-optimized FPGA memory networks
HJ Yang, K Fleming, F Winterstein, AI Chen, M Adler, J Emer
Proceedings of the 2017 ACM/SIGDA International Symposium on Field …, 2017
62017
Behaviour: Introduction
JB Silk
Behaviour 139 (2-3), 173-175, 2002
62002
Pass a pointer: Exploring shared virtual memory abstractions in OpenCL tools for FPGAs
F Winterstein, G Constantinides
2017 International Conference on Field Programmable Technology (ICFPT), 104-111, 2017
52017
Separation Logic for High-level Synthesis
F Winterstein
Springer, 2017
32017
Custom multicache architectures for heap manipulating programs
F Winterstein, KE Fleming, HJ Yang, GA Constantinides
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2016
32016
High-level synthesis of dynamic data structures
F Winterstein
Separation Logic for High-level Synthesis, 11-33, 2017
22017
Compiling Higher Order Functional Programs to Composable Digital Hardware.
E Aguilar-Pelaez, S Bayliss, AI Smith, F Winterstein, DR Ghica, ...
FCCM, 234, 2014
22014
A power-aware adaptive FDIR framework using heterogeneous system-on-chip modules
ST Fleming, DB Thomas, F Winterstein
FPGAs and Parallel Architectures for Aerospace Applications, 75-90, 2016
12016
Compiling higher order functional programs to composable digital hardware
EA Pelaez, S Bayliss, A Smith, F Winterstein, DR Ghica, D Thomas, ...
2014 IEEE 22nd Annual International Symposium on Field-Programmable Custom …, 2014
12014
Design and implementation of a low power mini-radar demonstrator
G Sessler, M Martinez, M Montagna, A Martin, F Winterstein, G Dauron, ...
Proc. European Space Surveillance Conference (ESSC) 2011, 2011
12011
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20