- CSRI
- Computer Systems Research Institute
Acronyms. 2013.
Acronyms. 2013.
CSRI — Computer Systems Research Institute … Acronyms von A bis Z
Warwick Medical School — Infobox University name =Warwick Medical School motto = established =2000 type =Medical school staff = dean =Professor Yvonne Carter students = undergrad = postgrad = city =Coventry research income =In excess of £5 million staff =In excess of 300 … Wikipedia
Concurrent Euclid (programming language) — Concurrent Euclid (ConEuc) is a concurrent descendant of the Euclid programming language designed by James Cordy and Ric Holt, then at the University of Toronto, in 1980. ConEuc was designed for concurrent, high performance, highly reliable… … Wikipedia
Transaction logic — is an extension of predicate logic with both declarative and procedural semantics that describe state changes in logic programming over dynamic databases. First proposed in the early 1990s by Anthony J. Bonner and Michael Kifer, transaction logic … Wikipedia
Concurrent Euclid — (ConEuc) Paradigm(s) multi paradigm: structured, imperative, functional Appeared in 1980 Designed by James Cordy and Ric Holt Developer James Cordy and … Wikipedia
Lexical semantics — is a subfield of linguistic semantics. It is the study of how and what the words of a language denote (Pustejovsky, 1995). Words may either be taken to denote things in the world, or concepts, depending on the particular approach to lexical… … Wikipedia
Corporate social responsibility — For other types of responsibility, see Responsibility (disambiguation). Corporate social responsibility (CSR, also called corporate conscience, corporate citizenship, social performance, or sustainable responsible business)[1] is a form of… … Wikipedia
Hilltop algorithm — The Hilltop algorithm is an algorithm created by Krishna Bharat while he was at Compaq Systems Research Center and George A. Mihăilă, then at the University of Toronto. The algorithm is used to find topic relevant documents to the particular… … Wikipedia
Turing Plus (programming language) — Turing+ (Turing Plus) is a concurrent systems programming language based the Turing programming language designed by James Cordy and Ric Holt, then at the University of Toronto, in 1987. Some, but not all, of the features of Turing Plus were… … Wikipedia
UTZ Certified — Infobox Company company name = UTZ CERTIFIED Good Inside company company type = Non profit organization foundation = Amsterdam, Netherlands (2002) location = Amsterdam, Netherlands key people = Frank Pronk, Executive Director industry = Product… … Wikipedia