Get started
Author

Franco Gasperoni

Observed names: F. Gasperoni, FRANCO GASPERONI, Gasperoni, Franco
OpenAlex ID: A5000494264
Generating Close to Optimum Loop Schedules on Parallel Processors
1994 · FRANCO GASPERONI, UWE SCHWIEGELSHOHN · Parallel Processing Letters · 38
On optimal parallelization of arbitrary loops
1991 · Uwe Schwiegelshohn, Franco Gasperoni, et al. · Journal of Parallel and Distributed Computing · 25
Compilation Techniques for Vliw Architectures
2011 · Franco Gasperoni · 23
Efficient Algorithms for Cyclic Scheduling
1991 · Franco Gasperoni, Uwe Schwiegelshohn · 21
Scheduling loops on parallel processors: A simple algorithm with close to optimum performance
1992 · Franco Gasperoni, Uwe Schwiegeishohn · Lecture notes in computer science · 20
Targeting GNAT to the Java virtual machine
1997 · Cyrille Comar, Gary Dismukes, et al. · ACM SIGAda Annual International Conference (TRI-Ada) · 18
Allocating Registers in Multiple Instruction-Issuing Processors
1995 · Eisenbeis, Christine, Gasperoni, Franco, et al. · 16
On optimal loop parallelization
1989 · F. Gasperoni, U. Schwiegelshohn, et al. · IEEE/ACM International Symposium on Microarchitecture (MICRO) · 9
PDF
Open-DO: an open-source initiative for the development of safety-critical software
2009 · C. Comar, F. Gasperoni, et al. · IET International Conference on System Safety · 8
The GNAT implementation of controlled types
1995 · Cyrille Comar, Gary Dismukes, et al. · ACM SIGAda Annual International Conference (TRI-Ada) · 7
Safety, security, and object-oriented programming
2006 · Franco Gasperoni · ACM SIGBED Review · 5
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT
2002 · Paul Parkinson, Franco Gasperoni · Lecture notes in computer science · 5
Multilanguage programming on the JVM: the Ada 95 benefits
2000 · Franco Gasperoni, Gary Dismukes · ACM SIGAda Ada Letters · 4
Scheduling for horizontal systems: the VLIW paradigm in perspective
1992 · Franco Gasperoni · 4
List scheduling in the presence of branches A theoretical evaluation
1998 · Franco Gasperoni, Uwe Schwiegelshohn · Theoretical Computer Science · 3
Optimal loop scheduling on multiprocessors: A pumping lemma for p-processor schedules
1995 · Franco Gasperoni, Uwe Schwiegeishohn, et al. · Lecture notes in computer science · 3
Smart recompilation and the GNAT compiler
1994 · Franco Gasperoni, Patrick Bazire · ACM SIGAda Annual International Conference (TRI-Ada) · 3
Allocating communication channels to parallel tasks
1993 · Denis Barthou, Franco Gasperoni, et al. · Elsevier eBooks · 3
System to Software Integrity: A Case Study
2014 · Matteo Bordin, Cyrille Comar, et al. · HAL · 2
FLOSS, COTS, and Safety: A Business Perspective
2006 · Franco Gasperoni · 2
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada
2003 · Emmanuel Briot, Franco Gasperoni, et al. · Lecture notes in computer science · 2
Embedded opportunities
1998 · Franco Gasperoni · Lecture notes in computer science · 2
Safety and OOP
2006 · R. Dewar, F. Gasperoni · IET International Conference on System Safety · 1
On optimal loop parallelization
1989 · F. Gasperoni, U. Schwiegelshohn, et al. · ACM SIGMICRO newsletter/SIGMICRO newsletter/SIGMICRO, TCMICRO newsletter · 1
Towards Verifying Model Compilers
2010 · Bordin, Matteo, Gasperoni, Franco · HAL
Works count: 42
Citation count: 225
H-index: 8
I10-index: 7
Year
Topic
Type