Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Loading…
Type checking a multithreaded functional language with session types
Vasconcelos, Vasco T., Gay, Simon J., Ravara, António
Published in Theoretical computer science (05.12.2006)
Published in Theoretical computer science (05.12.2006)
Get full text
Journal Article
Loading…
Outage Constrained Robust Energy Efficiency Optimization for MISO Wiretap Channels
Weidong Mei, Zhi Chen, Jun Fang
Published in 2017 IEEE 85th Vehicular Technology Conference (VTC Spring) (01.06.2017)
Published in 2017 IEEE 85th Vehicular Technology Conference (VTC Spring) (01.06.2017)
Get full text
Conference Proceeding
Loading…
Loading…
Property-based software engineering measurement
Briand, L.C., Morasca, S., Basili, V.R.
Published in IEEE transactions on software engineering (01.01.1996)
Published in IEEE transactions on software engineering (01.01.1996)
Get full text
Journal Article
Loading…
Loading…
FTSyn: a framework for automatic synthesis of fault-tolerance
Ebnenasir, Ali, Kulkarni, Sandeep S., Arora, Anish
Published in International journal on software tools for technology transfer (01.10.2008)
Published in International journal on software tools for technology transfer (01.10.2008)
Get full text
Journal Article
Loading…
Loading…
Loading…
From computation to foundations via functions and application: The λ-calculus and its webbed models
Get full text
Journal Article
Conference Proceeding
Loading…
A general theory of composition for a class of "possibilistic" properties
Get full text
Journal Article
Conference Proceeding
Loading…
Analysis of cardiac left-ventricular volume based on time warping averaging
Caiani, E. G., Porta, A., Baselli, G., Turiel, M., Muzzupappa, S., Pagani, M., Malliani, A., Cerutti, S.
Published in Medical & biological engineering & computing (01.03.2002)
Published in Medical & biological engineering & computing (01.03.2002)
Get full text
Journal Article
Loading…
Robust energy-efficient transmit design for misome wiretap channels
Weidong Mei, Zhi Chen, Jun Fang
Published in 2016 IEEE Global Conference on Signal and Information Processing (GlobalSIP) (01.12.2016)
Published in 2016 IEEE Global Conference on Signal and Information Processing (GlobalSIP) (01.12.2016)
Get full text
Conference Proceeding
Loading…
Loading…
Loading…
Loading…
Loading…