( en | de | ru )

 

Disambiguierung von "Barreto, Raimundo S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Localization Prediction in Vehicular Ad Hoc Networks.

, , , , , und . IEEE Commun. Surv. Tutorials, 20 (4): 2784-2803 (2018)

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.

Sebastian Raimundo

Gilmar Barreto

Adelberon Barreto

Fernando Barreto

Luciano Barreto

 

Weitere Publikationen von Autoren mit dem selben Namen

Embedded Hard Real-Time Software Synthesis Considering Dispatcher Overheads., , , , , , , und . IESS, Volume 184 von IFIP, Seite 77-86. Springer, (2005)A Novel Greedy Forward Algorithm for Routing Data toward a High Speed Sink in Wireless Sensor Networks., , , , und . ICCCN, Seite 1-7. IEEE, (2010)Memory Management Test-Case Generation of C Programs Using Bounded Model Checking., , und . SEFM, Volume 9276 von Lecture Notes in Computer Science, Seite 251-267. Springer, (2015)A methodology for mapping live sequence chart to coloured Petri net., , , , und . SMC, Seite 2999-3004. IEEE, (2005)A car racing based strategy for the Dynamic Voltage and Frequency Scaling technique., , , , und . ISIE, Seite 774-779. IEEE, (2012)Map2Check Using LLVM and KLEE - (Competition Contribution)., , , und . TACAS (2), Volume 10806 von Lecture Notes in Computer Science, Seite 437-441. Springer, (2018)Inserting DVFS Code in Hard Real-Time System Tasks., , , , und . SBESC, Seite 23-30. IEEE Computer Society, (2017)Embedded Restricted Boltzmann Machine Approach for Adjustments of Repetitive Physical Activities Using IMU Data., , , und . IEEE Embed. Syst. Lett., 16 (2): 102-105 (Juni 2024)Software synthesis for hard real-time embedded systems with multiple processors., , , , , , und . ACM SIGSOFT Softw. Eng. Notes, 32 (2): 1-10 (2007)Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems., , , , und . ACM SIGSOFT Softw. Eng. Notes, 31 (3): 1-25 (2006)