upload
National Institute of Standards and Technology
Industry: Technology
Number of terms: 2742
Number of blossaries: 0
Company Profile:
The National Institute of Standards and Technology (NIST) — known between 1901 and 1988 as the National Bureau of Standards (NBS) — is a measurement standards laboratory and a non-regulatory agency of the United States Department of Commerce. The institute's official mission is to promote U.S. ...
Επέφερε Μίλνερ γύρω στο 1980, CCS είναι μια αλγεβρική θεωρία που τυποποιεί την έννοια του ταυτόχρονου υπολογισμού. Η επίσημη γλώσσα περιλαμβάνει πρωτόγονων για την περιγραφή παράλληλη σύνθεση, επιλογή μεταξύ δράσεων και περιορισμό του πεδίου εφαρμογής. CCS είναι χρήσιµοι για την αξιολόγηση της ποιοτικής ορθότητας των ιδιοτήτων ενός συστήματος όπως το αδιέξοδο ή livelock.
Industry:Computer science
Αποθήκευση (memoize) μια αξονική απάντηση για την πιθανή επαναχρησιμοποίηση αργότερα, αντί να recomputing την απάντηση.
Industry:Computer science
Ψάξτε μια ταξινομημένη σειρά από τον έλεγχο κάθε ι στοιχείο <sup>θ</sup>, έως ότου βρεθεί η σωστή περιοχή και, στη συνέχεια, κάνει μια γραμμική αναζήτηση. Το βέλτιστο για n στοιχεία είναι όταν j &#61; √ ν.
Industry:Computer science
Ψάξτε μια ταξινομημένη σειρά από τον έλεγχο κάθε ι στοιχείο <sup>θ</sup>, έως ότου βρεθεί η σωστή περιοχή και, στη συνέχεια, κάνει μια γραμμική αναζήτηση. Το βέλτιστο για n στοιχεία είναι όταν j &#61; √ ν.
Industry:Computer science
Povezani, aciklični, neusmerjenega grafa.
Industry:Computer science
Αναζήτηση μια ταξινομημένη σειρά εκτιμώντας την επόμενη θέση για να ελέγξετε με βάση μια γραμμική παρεμβολή από το κλειδί αναζήτησης και των τιμών στα άκρα του διαστήματος αναζήτηση.
Industry:Computer science
Αναζήτηση μια ταξινομημένη σειρά εκτιμώντας την επόμενη θέση για να ελέγξετε με βάση μια γραμμική παρεμβολή από το κλειδί αναζήτησης και των τιμών στα άκρα του διαστήματος αναζήτηση.
Industry:Computer science
Αναζήτηση μια ταξινομημένη σειρά εκτιμώντας την επόμενη θέση για να ελέγξετε με βάση τις τιμές στις δύο προηγούμενες θέσεις ελέγχεται.
Industry:Computer science
Ψάξτε μια ταξινομημένη σειρά από στένωση πιθανές τοποθεσίες να σταδιακά μικρότερα διαστήματα. Αρχίστε με δύο αριθμούς Fibonacci, p (F(n)) και q (F(n+1)), τέτοια ώστε p < q n ≤, όπου n είναι το μέγεθος του πίνακα. το πρώτο βήμα ελέγχει την τοποθεσία π. το μέγεθος της το επόμενο διάστημα είναι p, αν το κλειδί είναι λιγότερο από το στοιχείο στον εν λόγω τοποθεσία, ή q-p (F(n-1)) αν είναι μεγαλύτερη.
Industry:Computer science
Povezava med poljubno število oglišč a hypergraph. Formalno opredelitev: A hyperedge je nabor oglišča a hypergraph.
Industry:Computer science