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!

  • Roberto Carlos Montoya Campaa, 33
    Peru, Lima
    Native language: Spanish
    Foreign language: Italian
    Ingeniero Agroindustrial, especializado en Sistemas de Gestión. Persona amigable, extrovertido y me gustaría conocer personas de todo el mundo para compartir experiencias, y aprender otros idiomas, favor contactarme a estos correos: 1. rcarlosmc@ gmail. com 2. rcarlosmc@ yahoo. es Mi ID de SKYPE: rcarlosmc ( agrégame mediante el correo de gmail)
    Roberto Ca...
  • bladimir moronta, 26
    Dominican Republic, San Cristobal
    Native language: Spanish
    Foreign language: Spanish
    bladimir m...
  • ivan , 23
    Mexico, Chilpancingo De Los Bravo
    Native language: Spanish, Spanish
    Foreign language: Spanish
    ivan
  • jasmin, 3
    Peru, Lima
    Native language: Spanish
    Foreign language: English
    jasmin
  • Alena, 55
    Belarus, Minsk
    Native language: Russian
    Foreign language: English
    Alena
  • yafreisy , 21
    Dominican Republic, Santo Domingo
    Native language: Spanish
    Foreign language: English
    hola soy dominicana me gusta la musica y aprender cosa nuevas
    yafreisy
  • ivis karina rodriguez solar, 18
    Colombia, Cartagena
    Native language: Spanish
    Foreign language: Spanish
    ivis karin...
  • armando, 26
    Bolivia, Cochabamba
    Native language: Spanish
    Foreign language: English
    soy un estudiante con ganas de aprender ingles
    armando
  • Nelson Arevalo, 42
    Venezuela, Caracas
    Native language: Spanish
    Foreign language: English
    Nelson Are...
  • Pascacio Jose, 21
    Panama, Santiago
    Native language: Spanish
    Foreign language: French
    Pascacio J...
  • maria victoria , 57
    Uruguay, Montevideo
    Native language: Korean
    Foreign language: Korean
    maria vict...
  • Jonathan Cevallos, 22
    Ecuador, Jipijapa
    Native language: Spanish
    Foreign language: Spanish
    soy un chico respetuoso, amigable, muy sociable con las demás personas, aunque a veces soy de carácter fuerte aunque no es de que preocuparse, porque eso lo controlo fácilmente y me gusta conocer gente nueva.
    Jonathan C...
  • THE_RAFY, 20
    Dominican Republic, Santo Domingo
    Native language: Spanish
    Foreign language: English
    THE_RAFY
  • ivrance, 18
    Dominican Republic, Santo Domingo
    Native language: Spanish
    Foreign language: Hindi
    ivrance
  • Yuzuru, 21
    Venezuela, Mérida
    Native language: Japanese
    Foreign language: Spanish, English
    Yuzuru
  • Aliardus, 47
    Peru, Pucallpa
    Native language: Spanish
    Foreign language: Spanish
    Amante de la naturaleza, la poesía y descubrir nuevas experiencias y amigos... http:// aliardus. blogspot. com/
    Aliardus
  • JANA JINANE, 23
    Algeria
    Native language: French, French
    Foreign language: French, French
    JANA JINAN...
  • Hamzeh, 40
    Iran, Islamic Republic of, Yazd
    Native language: Persian
    Foreign language: English
    Hamzeh
  • Daniela Rodriguez Blanco, 22
    Peru, Tarapoto
    Native language: English
    Foreign language: Portuguese
    Daniela Ro...
  • Milena, 40
    Colombia, Bogotã¡
    Native language: Spanish
    Foreign language: English
    Soy Diseñadora de vestidos de baño. Me gusta ir a cine , bailar y conocer personas . Soy muy sociable y amable.
    Milena