31 relazioni: Aforisma, Algoritmo del fornaio, Bachelor's degree, Brandeis University, Bronx High School of Science, Calcolo distribuito, Compaq, Digital Equipment Corporation, Dottorato di ricerca, Equazione differenziale alle derivate parziali, Institute of Electrical and Electronics Engineers, LaTeX, Massachusetts Institute of Technology, Master universitario, Matematica, Microsoft Research, Mountain View (contea di Santa Clara), Mutex, Premio Turing, Problema dei generali bizantini, Scuola politecnica federale di Losanna, Sistema distribuito, TeX, Thread (informatica), Università della Svizzera italiana, Università di Kiel, Università di Rennes, 1960, 1963, 1972, 2000.
Aforisma
Un aforisma, oppure aforismo (dal greco antico, definizione), è una breve frase che condensa un principio specifico o un più generale sapere filosofico o morale.
Nuovo!!: Leslie Lamport e Aforisma · Mostra di più »
Algoritmo del fornaio
L'algoritmo del fornaio è uno dei metodi di mutua esclusione che trovano applicazione pratica nella programmazione parallela per serializzare l'esecuzione delle sezioni critiche da parte di più processi o thread concorrenti.
Nuovo!!: Leslie Lamport e Algoritmo del fornaio · Mostra di più »
Bachelor's degree
Il bachelor's degree (baccelliere, baccalaureato), o semplicemente bachelor è un titolo accademico rilasciato dal sistema universitario in alcuni paesi anglosassoni e negli USA.
Nuovo!!: Leslie Lamport e Bachelor's degree · Mostra di più »
Brandeis University
La Brandeis University è un'università privata degli Stati Uniti, con sede a Waltham, nel Massachusetts, circa 15 km a ovest di Boston.
Nuovo!!: Leslie Lamport e Brandeis University · Mostra di più »
Bronx High School of Science
La Bronx High School of Science, comunemente conosciuta come Bronx Science, o anche soltanto Science, è un liceo specializzato di New York situato a Bedford Park nel borough del Bronx.
Nuovo!!: Leslie Lamport e Bronx High School of Science · Mostra di più »
Calcolo distribuito
Il calcolo distribuito è un campo dell'informatica che studia i sistemi distribuiti.
Nuovo!!: Leslie Lamport e Calcolo distribuito · Mostra di più »
Compaq
La Compaq era un'azienda statunitense finalizzata alla produzione nel settore dei personal computer, fondata nel 1982, in seguito divenuta uno dei marchi di Hewlett-Packard.
Nuovo!!: Leslie Lamport e Compaq · Mostra di più »
Digital Equipment Corporation
La Digital Equipment Corporation è stata un'azienda pionieristica del settore informatico negli Stati Uniti d'America.
Nuovo!!: Leslie Lamport e Digital Equipment Corporation · Mostra di più »
Dottorato di ricerca
Il dottorato di ricerca è un titolo accademico dell'istruzione superiore in molti paesi del mondo, corrispondente al massimo grado di istruzione universitaria ottenibile.
Nuovo!!: Leslie Lamport e Dottorato di ricerca · Mostra di più »
Equazione differenziale alle derivate parziali
In analisi matematica, un'equazione differenziale alle derivate parziali, anche detta equazione alle derivate parziali (termine abbreviato in EDP o spesso in PDE, dall'acronimo inglese Partial Differential Equation), è un'equazione differenziale che coinvolge le derivate parziali di una funzione incognita di più variabili indipendenti.
Nuovo!!: Leslie Lamport e Equazione differenziale alle derivate parziali · Mostra di più »
Institute of Electrical and Electronics Engineers
Lo IEEE, acronimo di Institute of Electrical and Electronic Engineers (in italiano: Istituto degli ingegneri elettrici ed elettronici), spesso pronunciato I triple E, è un'associazione internazionale di scienziati professionisti con l'obiettivo della promozione delle scienze tecnologiche.
Nuovo!!: Leslie Lamport e Institute of Electrical and Electronics Engineers · Mostra di più »
LaTeX
LaTeX (scritto anche e pronunciato in italiano; errato), è un linguaggio di markup usato per la preparazione di testi basato sul programma di composizione tipografica TeX.
Nuovo!!: Leslie Lamport e LaTeX · Mostra di più »
Massachusetts Institute of Technology
L'Istituto di tecnologia del Massachusetts (in inglese: Massachusetts Institute of Technology, MIT) è una delle più importanti università di ricerca del mondo con sede a Cambridge, nel Massachusetts (Stati Uniti).
Nuovo!!: Leslie Lamport e Massachusetts Institute of Technology · Mostra di più »
Master universitario
Un master universitario è un titolo accademico rilasciato da un'università in seguito a uno specifico corso di studi.
Nuovo!!: Leslie Lamport e Master universitario · Mostra di più »
Matematica
La matematica (dal greco μάθημα (máthema), traducibile con i termini "scienza", "conoscenza" o "apprendimento"; μαθηματικός (mathematikós) significa "incline ad apprendere") è la disciplina che studia le quantità (i numeri), lo spazio,.
Nuovo!!: Leslie Lamport e Matematica · Mostra di più »
Microsoft Research
Microsoft Research è la divisione di ricerca di Microsoft.
Nuovo!!: Leslie Lamport e Microsoft Research · Mostra di più »
Mountain View (contea di Santa Clara)
Mountain View è un comune (city) degli Stati Uniti d'America della contea di Santa Clara nello Stato della California.
Nuovo!!: Leslie Lamport e Mountain View (contea di Santa Clara) · Mostra di più »
Mutex
In informatica il termine mutex (contrazione dell'inglese mutual exclusion, mutua esclusione) indica un procedimento di sincronizzazione fra processi o thread concorrenti, con il quale si impedisce che più task paralleli accedano contemporaneamente ai dati in memoria o ad altre risorse soggette a race condition (o corsa critica).
Nuovo!!: Leslie Lamport e Mutex · Mostra di più »
Premio Turing
L'A.M. Turing Award (in italiano, premio Turing) è un premio, assegnato annualmente dalla Association for Computing Machinery (ACM), ad una personalità che eccelle per i contributi di natura tecnica offerti alla comunità informatica, in particolare per progressi che siano duraturi e di elevata importanza tecnica.
Nuovo!!: Leslie Lamport e Premio Turing · Mostra di più »
Problema dei generali bizantini
Il problema dei generali bizantini è un problema informatico su come raggiungere consenso in situazioni in cui è possibile la presenza di errori.
Nuovo!!: Leslie Lamport e Problema dei generali bizantini · Mostra di più »
Scuola politecnica federale di Losanna
La Scuola politecnica federale di Losanna (EPFL) è un'università e istituto di ricerca di Losanna (Svizzera), fondato nel 1969.
Nuovo!!: Leslie Lamport e Scuola politecnica federale di Losanna · Mostra di più »
Sistema distribuito
La locuzione sistema distribuito, in informatica, indica genericamente una tipologia di sistema informatico costituito da un insieme di processi interconnessi tra loro in cui le comunicazioni avvengono solo esclusivamente tramite lo scambio di opportuni messaggi.
Nuovo!!: Leslie Lamport e Sistema distribuito · Mostra di più »
TeX
, scritto anche TeX e pronunciato alla greca come tech (la "ch" è pronunciata come nella parola tedesca "Ach" o in quella scozzese "Loch"), è un programma di tipografia digitale adatto alla stesura di testi matematici e scientifici.
Nuovo!!: Leslie Lamport e TeX · Mostra di più »
Thread (informatica)
Un thread o thread di esecuzione, in informatica, è una suddivisione di un processo in due o più filoni o sottoprocessi che vengono eseguiti concorrentemente da un sistema di elaborazione monoprocessore (multithreading) o multiprocessore o multicore.
Nuovo!!: Leslie Lamport e Thread (informatica) · Mostra di più »
Università della Svizzera italiana
L'Università della Svizzera italiana (USI) nasce nel 1996, con sedi a Lugano e Mendrisio (in Canton Ticino).
Nuovo!!: Leslie Lamport e Università della Svizzera italiana · Mostra di più »
Università di Kiel
L'università di Kiel, (in tedesco, Christian-Albrechts-Universität zu Kiel, sigla CAU), è un'università pubblica tedesca situata a Kiel, nello Schleswig-Holstein.
Nuovo!!: Leslie Lamport e Università di Kiel · Mostra di più »
Università di Rennes
L'Università di Rennes è una università francese sita nella città bretone di Rennes.
Nuovo!!: Leslie Lamport e Università di Rennes · Mostra di più »
1960
Nessuna descrizione.
Nuovo!!: Leslie Lamport e 1960 · Mostra di più »
1963
Nessuna descrizione.
Nuovo!!: Leslie Lamport e 1963 · Mostra di più »
1972
Nessuna descrizione.
Nuovo!!: Leslie Lamport e 1972 · Mostra di più »
2000
È stato l'ultimo anno del XX secolo e del II millennio, iniziato di sabato secondo il calendario Gregoriano.
Nuovo!!: Leslie Lamport e 2000 · Mostra di più »