Author of the publication

An efficient technique for analysis of minimal buffer requirements of synchronous dataflow graphs with model checking.

, , , , and . CODES+ISSS, page 61-70. ACM, (2009)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

ECFA: An Efficient Convergent Firefly Algorithm for Solving Task Scheduling Problems in Cloud-Edge Computing., , , , and . IEEE Trans. Serv. Comput., 16 (5): 3280-3293 (September 2023)Efficient Spiking Neural Networks With Logarithmic Temporal Coding., , , , and . IEEE Access, (2020)Perceptual Enhancement for Autonomous Vehicles: Restoring Visually Degraded Images for Context Prediction via Adversarial Training., , , , and . IEEE Trans. Intell. Transp. Syst., 23 (7): 9430-9441 (2022)Pre-synthesis resource generation and estimation for transport-triggered architecture (TTA)-like architecture., , , and . Microprocess. Microsystems, 32 (4): 234-242 (2008)Online optimization for scheduling preemptable tasks on IaaS cloud systems., , , , , and . J. Parallel Distributed Comput., 72 (5): 666-677 (2012)Deep Learning Models for Real-time Human Activity Recognition with Smartphones., , , , and . Mob. Networks Appl., 25 (2): 743-755 (2020)PAUC: Power-Aware Utilization Control in Distributed Real-Time Systems., , , and . IEEE Trans. Ind. Informatics, 6 (3): 302-315 (2010)Model-Based Reinforcement Learning and Neural-Network-Based Policy Compression for Spacecraft Rendezvous on Resource-Constrained Embedded Systems., , , , , , and . IEEE Trans. Ind. Informatics, 19 (1): 1107-1116 (2023)Energy-Constrained Scheduling for Weakly Hard Real-Time Systems Using Standby-Sparing., , , , and . ACM Trans. Design Autom. Electr. Syst., 29 (2): 29:1-29:35 (March 2024)Optimized Implementation of Multirate Mixed-Criticality Synchronous Reactive Models., , , and . ACM Trans. Design Autom. Electr. Syst., 22 (2): 23:1-23:25 (2017)