Darwin - definition

Create account
Where to search:
Thesaurus


Dictionaries » The Free On-line Dictionary of Computing » D »

Darwin - definition



A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
(Non-alphabetical character)


Free Online Dictionary of Computing - FOLDOC foldoc.org

Darwin Search for pronunciation examples


 
1. <operating system> An operating system based on the
FreeBSD version of Unix, running on top of a microkernel
(Mach 3.0 with darwin 1.02) that offers advanced networking,
services such as the Apache web server, and support for
both Macintosh and Unix file systems.  Darwin was
originally released in March 1999.  It currently runs on
PowerPC based Macintosh computers, and, in October 2000, was
being ported to Intel processor-based computers and
compatible systems by the Darwin community.
 
2. <programming, tool> A general purpose structuring tool of
use in building complex distributed systems from diverse
components and diverse component interaction mechanisms.
Darwin is being developed by the Distributed Software
Engineering Section of the Department of Computing at
Imperial College.  It is in essence a declarative binding
language which can be used to define hierarchic compositions
of interconnected components.  Distribution is dealt with
orthogonally to system structuring.  The language allows the
specification of both static structures and dynamic structures
which evolve during execution.  The central abstractions
managed by Darwin are components and services.  Bindings are
formed by manipulating references to services.
 
The operational semantics of Darwin is described in terms of
the Pi-calculus, Milner's calculus of mobile processes.
The correspondence between the treatment of names in the
Pi-calculus and the management of service references in Darwin
leads to an elegant and concise Pi-calculus model of Darwin's
operational semantics.  The model has proved useful in
arguing the correctness of Darwin implementations and in
designing extensions to Darwin and reasoning about their
behaviour.
 
{Distributed Software Engineering Section
(http://www-dse.doc.ic.ac.uk/)}.  {Darwin publications
(http://scorch.doc.ic.ac.uk/dse-papers/darwin/)}.
 
E-mail: Jeff Magee <jnm@doc.ic.ac.uk>, Naranker Dulay
<nd@doc.ic.ac.uk>.
 
3. Core War.
 
(2003-08-08)
 



Permanent link to this page: http://www.diclib.com/cgi-bin/d1.cgi?l=en&base=en_foldoc&page=showid&id=3080


Learn foreign languages chatting with us!

  • Руслан, 16
    Russian Federation, Tula
    Native language: Russian
    Foreign language: English
    Руслан
  • toni, 24
    Mexico, Veracruz
    Native language: Spanish
    Foreign language: English
    hola a todos xd me gustaría conocer gente con la cual pueda aprender ingles la verdad es que no soy nada bueno en el idioma y por ello si alguien pudiera ayudarme a aprender le o les agradecería mucho xd
    toni
  • George, 44
    Colombia, Bogota
    Native language: Spanish
    Foreign language: English
    George
  • rolo
    Argentina, Buenos Aires
    Native language: Spanish
    Foreign language: English, Italian
    rolo
  • jose moreira, 67
    Ecuador, Manta
    Native language: Spanish
    Foreign language: English
    jose morei...
  • Elizabeth Henriquez, 41
    Honduras, La Ceiba
    Native language: Spanish
    Foreign language: English
    Elizabeth ...
  • екатерина, 18
    Ukraine, Kiev
    Native language: Russian, Ukrainian
    Foreign language: French, English
    екатерина
  • Valentina, 33
    Ecuador, Guayaquil
    Native language: Spanish
    Foreign language: English, German
    Valentina
  • lamaestrasally, 65
    United States, San Jose California
    Native language: English
    Foreign language: Spanish
    lamaestras...
  • Казима, 24
    Russian Federation
    Native language: Russian
    Foreign language: English
    Казима
  • Emilio Devesa Pascual, 61
    Spain, Boadilla Del Monte
    Native language: Spanish
    Foreign language: English
    Emilio Dev...
  • MIGUEL. G. ARMENDARIZ, 62
    Mexico, Mexico, Distrito Federal
    Native language: Spanish
    Foreign language: English
    MIGUEL. G....
  • YEIMI ESPERANZA SEGURA, 33
    Colombia, Cumaral
    Native language: Spanish
    Foreign language: Spanish
    ME ENCANTARIA RELACIONARME CON GENTE MUY INDEPENDIENTE NADA DE PEROS ABSOLUTAMENTE LIBRES HASTA PARA RESPONDER
    YEIMI ESPE...
  • Danica
    Serbia, Belgrade
    Native language: Serbian
    Foreign language: English, Spanish, Portuguese
    Danica
  • Gisela Martinez, 21
    Colombia, Bogota
    Native language: Spanish
    Foreign language: Spanish
    Gisela Mar...
  • Michael Gorbachev, 28
    Russian Federation, Ulyanovsk
    Native language: Russian
    Foreign language: English, Japanese
    Hello everyone, my name is Michael and Im from Russia. Im a freelancer who specializing in motion design and animation. I would like to practise my english and in return I can teach you russian or we can just become good friends =).
    Michael Go...
  • katherine, 27
    Ecuador, Guayaquil
    Native language: Spanish
    Foreign language: English
    katherine
  • tony arias, 52
    Dominican Republic, Santo Domingo
    Native language: Spanish
    Foreign language: French
    tony arias
  • Toms Aranda Luis, 68
    Mexico, Ciudad De México
    Native language: Spanish
    Foreign language: English
    Toms Arand...
  • Павел, 33
    Russian Federation, Ярославль
    Native language: Russian
    Foreign language: English
    Павел