Results 71 to 80 of about 149 (130)

Formal verification of safety properties of epoch processing in Beacon Chain. [PDF]

Sci Rep
Rashid M, Rasool I, Afzaal H, Zafar NA.
europepmc   +1 more source

A Distance-Vector-Based Multi-Path Routing Scheme for Static-Node-Assisted Vehicular Networks. [PDF]

Sensors (Basel), 2019
Araki D, Yoshihiro T.
europepmc   +1 more source

Copeman clinics come under scrutiny. [PDF]

CMAJ, 2006
Kondro W.
europepmc   +1 more source

Maestro: an orchestration framework for large-scale WSN simulations. [PDF]

Sensors (Basel), 2014
Riliskis L, Osipov E.
europepmc   +1 more source

FROM DESKTOP TO LARGE-SCALE MODEL EXPLORATION WITH SWIFT/T. [PDF]

Proc Winter Simul Conf, 2016
Ozik J, Collier NT, Wozniak JM, Spagnuolo C.   +3 more
europepmc   +1 more source

Parallel Fuzzy Segmentation of Multiple Objects. [PDF]

Int J Imaging Syst Technol, 2008
Garduño E, Herman GT.
europepmc   +1 more source

A Survey on Directed Acyclic Graph-Based Blockchain in Smart Mobility. [PDF]

Sensors (Basel)
Bai Y, Lee S, Seo SH.
europepmc   +1 more source

RAxML-Light: a tool for computing terabyte phylogenies. [PDF]

Bioinformatics, 2012
Stamatakis A, Aberer AJ, Goll C, Smith SA, Berger SA, Izquierdo-Carrasco F.   +5 more
europepmc   +1 more source

Acyclic fork-join queueing networks

, 1987
Baccelli, François, Massey, W.A., Towsley, D.   +2 more
openaire   +1 more source