( en | de | ru )

 

Disambiguierung von "Garbervetsky, Diego"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Polyhedral Techniques for Parametric Memory Requirement Estimation

, , , und . Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach, Chapman and Hall/CRC, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Alexander Diego

Jesús Diego Linares

Diego Tonolla

Diego Arenhoevel

Diego Feijóo

 

Weitere Publikationen von Autoren mit dem selben Namen

Improving the Verification of Timed Systems Using Influence Information., , und . TACAS, Volume 2280 von Lecture Notes in Computer Science, Seite 21-36. Springer, (2002)Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis., , , , und . FORMATS, Volume 5813 von Lecture Notes in Computer Science, Seite 58-72. Springer, (2009)Symbolic Polynomial Maximization Over Convex Sets and Its Application to Memory Requirement Estimation., , , und . IEEE Trans. Very Large Scale Integr. Syst., 17 (8): 983-996 (2009)Testing and validating end user programmed calculated fields., , , , , , und . ESEC/SIGSOFT FSE, Seite 827-832. ACM, (2018)Fully Reflective Execution Environments: Virtual Machines for More Flexible Software, , , und . IEEE Transactions on Software Engineering, PP (99): 1--20 (März 2018)Report from 2nd international workshop on developing tools as plug-ins (TOPI 2012)., und . ACM SIGSOFT Softw. Eng. Notes, 37 (6): 24-27 (2012)A Dataflow Analysis to Improve SAT-Based Bounded Program Verification., , , und . SEFM, Volume 7041 von Lecture Notes in Computer Science, Seite 138-154. Springer, (2011)A toolsuite for the verification of real-time systems in Eclipse., , , , , , , und . ETX, Seite 35-39. ACM, (2006)3rd international workshop on developing tools as plug-ins (TOPI 2013)., , , , und . ICSE, Seite 1555. IEEE Computer Society, (2013)Polyhedral Techniques for Parametric Memory Requirement Estimation, , , und . Energy-Aware Memory Management for Embedded Multimedia Systems: A Computer-Aided Design Approach, Chapman and Hall/CRC, (2012)