28559 articles – 22057 Notices  [english version]
.:. Consultation > Par auteur > Alias .:.
16 documents classés par :
1 - 2 Page Suivante Page Finale
Rank: a tool to check program termination and computational complexity
Alias C., Darte A., Feautrier P., Gonnord L.
Dans Constraints in Software Testing Verification and Analysis (2013) [hal-00801571 - version 1]
Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA
Alias C., Darte A., Plesco A.
Dans Design, Automation, and Test in Europe (DATE'13) (2013) [hal-00761533 - version 1]
fulltext access Modular termination of C programs
Andrieu G., Alias C., Gonnord L.
N° RR-8166 (2012) [hal-00760917 - version 2]
SToP : Scalable Termination analysis of (C) Programs (tool presentation)
Andrieu G., Alias C., Gonnord L.
Dans Tapas 2012 (2012) [hal-00760926 - version 1]
fulltext access FPGA-Specific Synthesis of Loop-Nests with Pipelined Computational Cores
Alias C., Pasca B., Plesco A.
N° RR-7674 (2011) [inria-00606977 - version 1]
FPGA-Specific Synthesis of Loop Nests with Pipelined Computational Cores
Alias C., Pasca B., Plesco A.
Microprocessors and Microsystems - Embedded Hardware Design 36, 8 (2012) 606-619 [hal-00761515 - version 1]
SToP: Scalable Termination Analysis of (C) Programs (tool presentation)
Andrieu G., Alias C., Gonnord L.
Dans International Workshop on Tools for Automatic Program Analysis (TAPAS '12) (2012) [hal-00761513 - version 1]
Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA
Alias C., Darte A., Plesco A.
Dans 2nd International Workshop on Polyhedral Compilation Techniques (IMPACT'12), held with HIPEAC'12 (2012) [hal-00761477 - version 1]
Optimizing Remote Accesses for Offloaded Kernels: Application to High-Level Synthesis for FPGA
Alias C., Darte A., Plesco A.
Dans 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'12) (2012) 285--286 [hal-00761473 - version 1]
fulltext access Kernel Offloading with Optimized Remote Accesses
Alias C., Darte A., Plesco A.
N° RR-7697 (2011) [inria-00611179 - version 1]