Author of the publication

Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications.

, , , and . DSD, page 271-275. IEEE Computer Society, (2015)

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

Verification of JavaSpacesTM Parallel Programs., and . ACSD, page 196-205. IEEE Computer Society, (2003)Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14)., and . Sci. Comput. Program., (2016)Green Computing: Power Optimisation of VFI-Based Real-Time Multiprocessor Dataflow Applications., , , and . DSD, page 271-275. IEEE Computer Society, (2015)Guard-based partial-order reduction., , , and . STTT, 18 (4): 427-448 (2016)Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Model Checking., and . CoRR, (2015)Modelling with ANIMO: between fuzzy logic and differential equations., , , , , , and . BMC Systems Biology, (2016)Towards model checking executable UML specifications in mCRL2., , , , and . ISSE, 6 (1-2): 83-90 (2010)Equational Binary Decision Diagrams., and . LPAR, volume 1955 of Lecture Notes in Computer Science, page 161-178. Springer, (2000)Applying Model-Based Testing to HTML Rendering Engines - A Case Study., and . TestCom/FATES, volume 5047 of Lecture Notes in Computer Science, page 250-265. Springer, (2008)Equivalent Semantic Models for a Distributed Dataspace Architecture., and . FMCO, volume 2852 of Lecture Notes in Computer Science, page 182-201. Springer, (2002)