Anastasios Deligiannis

dblp:182/9256 · DBLP profile ↗
← Back
2ranked-venue papers
1as first author
0since 2021 · last 2018
0000-0003-0651-3926ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-authorTheory of computation · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
1 paper
Electronic design automation · 67% Processor architecture and microarchitecture · 33%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Electronic design automation › hardware verification and test
hardware verification
0.212016
End-to-End Verification of Processors with ISA-Formal · CAV (2) 2016
Processor architecture and microarchitecture
instruction set architecture
0.212016
End-to-End Verification of Processors with ISA-Formal · CAV (2) 2016
Electronic design automation › hardware verification and test
processor verification
0.212016
End-to-End Verification of Processors with ISA-Formal · CAV (2) 2016

Methods — techniques the papers use, named apart from their topics

formal verification · 0.2ISA-formal · 0.2
YearPublicationVenuePosition
2018 Optimum Configurations of Sparse Subarray Beamformers
abstract
The problem of optimum distribution of the available spatial degrees of freedom among two sparse antenna subarray beamfomers in shared aperture receiver is investigated. The two subarrays, forming a full array, co-exist on the same platform and could perform separate RF sensing and communications tasks. The sparsity and cardinality of the subarray configurations are joint optimization variables which considerably affect the output signal-to-interference plus noise ratios (SINR) of the two beamformer outputs. A minimum output SINR figure value is imposed to guarantee minimum performance. We solve this problem by utilizing Taylor series approximation to reformulate the initial non-convex problem to a convex one. Simulation results validate the effectiveness of the proposed method.
Anastasios Deligiannis, Moeness G. Amin, Giuseppe A. Fabrizio, Sangarapillai Lambotharan
ICASSP1
2016 End-to-End Verification of Processors with ISA-Formal
Alastair Reid 0001, Rick Chen, Anastasios Deligiannis, David Gilday, David Hoyes, Will Keen, Ashan Pathirane, Owen Shepherd, Peter Vrabel, Ali Zaidi
CAV (2)3