( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software.

, , , , , и . IEEE Trans. Software Eng., 30 (10): 656-674 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Alessio Paolini

David W Pao

Jorge Paolini

Kemara Paolim

Alain Hsiung

 

Другие публикации лиц с тем же именем

Model Checking Prioritized Timed Automata., , , и . ATVA, том 3707 из Lecture Notes in Computer Science, стр. 370-384. Springer, (2005)Model Checking Timed Systems with Urgencies., , , , , , , и . ATVA, том 4218 из Lecture Notes in Computer Science, стр. 67-81. Springer, (2006)Counterexample-Guided Assume-Guarantee Synthesis through Learning., и . IEEE Trans. Computers, 60 (5): 734-750 (2011)VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software., , , , , и . IEEE Trans. Software Eng., 30 (10): 656-674 (2004)Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems., и . Comput. Lang. Syst. Struct., 34 (4): 153-169 (2008)Synchronization-Aware Dynamic Thread Scheduling for Improving Performance and Saving Energy in Multi-core Embedded Systems., , и . PAAP, стр. 13-18. IEEE, (2012)Auto-Tuning for GPGPU Applications Using Performance and Energy Model., , и . ICS, том 274 из Frontiers in Artificial Intelligence and Applications, стр. 195-204. IOS Press, (2014)A low-power 64-point pipeline FFT/IFFT processor for OFDM applications., , , и . IEEE Trans. Consumer Electronics, 57 (1): 40 (2011)Software-Controlled Dynamically Swappable Hardware Design in Partially Reconfigurable Systems., и . EURASIP J. Embed. Syst., (2008)Model-based Verification of Safety-Critical Systems., и . SEKE, стр. 596-601. (2005)