Phan Cong Vinh
Phan Cong Vinh
Research Scientist in Computing at Nguyen Tat Thanh University, Vietnam
Adresse e-mail validée de
Citée par
Citée par
Springer International Publishing: Cham
AF Frangi, JA Schnabel, C Davatzikos, C Alberola-López, G Fichtinger
Switerland, 2018
An energy-efficient transmission strategy for wireless sensor networks
C Van Phan, Y Park, HH Choi, J Cho, JG Kim
IEEE Transactions on Consumer Electronics 56 (2), 597-605, 2010
On the energy efficiency of NOMA for wireless backhaul in multi-tier heterogeneous CRAN
HQ Tran, PQ Truong, CV Phan, QT Vien
2017 International Conference on Recent Advances in Signal Processing …, 2017
Optimising energy efficiency of non-orthogonal multiple access for wireless backhaul in heterogeneous cloud radio access network
QT Vien, TA Le, B Barn, CV Phan
Iet Communications 10 (18), 2516-2524, 2016
Formal methods for the development and verification of autonomic IT systems
R Calinescu, S Kikuchi, M Kwiatkowska
Formal and Practical Aspects of Autonomic Computing and Networking …, 2012
Formal aspects of self-* in autonomic networked computing systems
P Cong-Vinh
Autonomic Computing and Networking, 381-410, 2009
Continuity aspects of embedded reconfigurable computing
PC Vinh, JP Bowen
Innovations in Systems and Software Engineering 1 (1), 41-53, 2005
An energy-efficient NOMA for small cells in heterogeneous CRAN under QoS constraints
QT Vien, TA Le, CV Phan, MO Agyeman
European Wireless 2017; 23th European Wireless Conference, 1-6, 2017
Concurrency of self-* in autonomic systems
PC Vinh
Future Generation Computer Systems 56, 140-152, 2016
Coalgebraic aspects of context-awareness
PC Vinh, NT Tung
Mobile Networks and Applications 18 (3), 391-397, 2013
A formal approach to aspect-oriented modular reconfigurable computing
P Cong-Vinh, JP Bowen
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007
Formalising Configuration Relocation Behaviours for Reconfigurable Computing
PC Vinh, JP Bowen
Proceedings of the FDL 2, 24-27, 2002
Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification: Specification, Development, and Verification
P Cong-Vinh
IGI Global, 2011
Categorical approaches to models and behaviors of autonomic agent systems
P Cong-Vinh
International Journal of Cognitive Informatics and Natural Intelligence …, 2009
Homomorphism between AOMRC and Hoare model of deterministic reconfiguration processes in reconfigurable computing systems
PC Vinh
Scientific Annals of Computer Science 17, 113, 2007
Semantics of RTL and validation of synthesized RTL designs using formal verification in reconfigurable computing systems
PC Vinh, JP Bowen
12th IEEE International Conference and Workshops on the Engineering of …, 2005
The energy-aware operational time of wireless ad-hoc sensor networks
NT Tung, PC Vinh
Mobile Networks and Applications 18 (3), 454-463, 2013
Formalization of data flow computing and a coinductive approach to verifying flowware synthesis
PC Vinh, JP Bowen
Transactions on computational science I, 1-36, 2008
Modeling and reasoning about preference-based context-aware agents over heterogeneous knowledge sources
I Uddin, A Rakib, HMU Haque, PC Vinh
Mobile Networks and Applications 23 (1), 13-26, 2018
Toward formalized autonomic networking
PC Vinh
Mobile Networks and Applications 19 (5), 598-607, 2014
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20