CERN Accelerating science

CERN Document Server 1 εγγραφές βρέθηκαν  Η έρευνα πήρε 0.59 δευτερόλεπτα. 
1.
Analysis of DIRAC's behavior using model checking with process algebra / Remenska, Daniela (NIKHEF, Amsterdam ; Amsterdam U.) ; Templon, Jeff (NIKHEF, Amsterdam) ; Willemse, Tim (Eindhoven, Tech. U.) ; Bal, Henri (Amsterdam U.) ; Verstoep, Kees (Amsterdam U.) ; Fokkink, Wan (Amsterdam U.) ; Charpentier, Philippe (CERN) ; Diaz, Ricardo Graciani (Barcelona U.) ; Lanciotti, Elisa (CERN) ; Roiser, Stefan (CERN) et al.
DIRAC is the grid solution developed to support LHCb production activities as well as user data analysis. It consists of distributed services and agents delivering the workload to the grid resources. [...]
2012 - 10 p.

In : Computing in High Energy and Nuclear Physics 2012, New York, NY, USA, 21 - 25 May 2012, pp.052061

Δείτε ακόμη: παρόμοια ονόματα συγγραφέων
1 Bal, Hartosh Singh
4 Bal, Henri E
Ενδιαφέρεστε να ενημερώνεστε για νέα αποτελέσματα σχετικά με το ερώτημα αυτό;
Δημιουργήστε ένα προσωπικό email alert ή εγγραφείτε στο RSS feed.
Δεν βρήκατε αυτό που αναζητούσατε; Δοκιμάστε την έρευνά σας σε άλλους servers:
Bal, Henri σε Amazon
Bal, Henri σε CERN EDMS
Bal, Henri σε CERN Intranet
Bal, Henri σε CiteSeer
Bal, Henri σε Google Books
Bal, Henri σε Google Scholar
Bal, Henri σε Google Web
Bal, Henri σε IEC
Bal, Henri σε IHS
Bal, Henri σε INSPIRE
Bal, Henri σε ISO
Bal, Henri σε KISS Books/Journals
Bal, Henri σε KISS Preprints
Bal, Henri σε NEBIS
Bal, Henri σε SLAC Library Catalog
Bal, Henri σε Scirus