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


 
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!

  • Jordan, 21
    Mexico, Chetumal
    Native language: Spanish
    Foreign language: English
    Escuchar música y es todo!!
    Jordan
  • gerson, 39
    Colombia, Bucaramanga
    Native language: Spanish
    Foreign language: English
    soy trabajador comerciante en el area de la construccion y bentas de nukin
    gerson
  • Ripai, 44
    El Salvador, Chalchuapa
    Native language: Spanish
    Foreign language: English
    Soy agrónomo y le puedo ayudar a dar consejos de agricultura, si conozco del tema
    Ripai
  • melisa martines, 19
    Dominican Republic, Santo Domingo
    Native language: Spanish
    Foreign language: English
    melisa mar...
  • Alex
    Russian Federation, Moscow
    Native language: Russian
    Foreign language: English
    Alex
  • Uly Chen, 25
    China, Xiamen
    Native language: Chinese Simplified
    Foreign language: English
    Uly Chen
  • Maria Pia, 17
    Peru, Lima
    Native language: Spanish
    Foreign language: Spanish
    Soy muy buena persona que ayuda a alguien cuando lo necesita, sobre todo en cuidar a bebes y niños pequeños
    Maria Pia
  • maria victoria , 55
    Uruguay, Montevideo
    Native language: Korean
    Foreign language: Korean
    maria vict...
  • douglas, 45
    China, Guangzhou
    Native language: Spanish
    Foreign language: English
    douglas
  • esperanza dougan tomos, 33
    Equatorial Guinea, Malabo
    Native language: Spanish
    Foreign language: English
    i m from Ecuatirial- Guinean, 32 years old, working in a construction company and i wish to learn mor inglis for a good perfection.
    esperanza ...
  • dominicano
    Italy, Cisano Bergamasco
    Native language: Spanish
    Foreign language: Italian
    dominicano
  • Kevin Macias, 23
    Ecuador, Quito
    Native language: Spanish
    Foreign language: Spanish
    Kevin Maci...
  • Nata
    Ukraine, Киев
    Native language: Russian
    Foreign language: English
    Nata
  • ZIAD, 50
    Jordan, Amman
    Native language: Arabic
    Foreign language: English
    ZIAD
  • Yuzuru, 19
    Venezuela, Mérida
    Native language: Japanese
    Foreign language: Spanish, English
    Yuzuru
  • Bekasyl, 20
    Kazakhstan, Pavlodar
    Native language: Russian
    Foreign language: Russian
    Bekasyl
  • leider moises ospino arias, 17
    Colombia, Bogotã¡
    Native language: Spanish
    Foreign language: Spanish
    soy muy interesante en mi musika kiero terminar mis estudios rapido para poder hacer mi carrera y seguir con mi muscika le doy gracias a DIOS POR TODO LO QUE HA HECHO POR MI Y POR DARME UNA FAMILIA CRISTIANA
    leider moi...
  • ingrid, 18
    Mexico, Monterrey
    Native language: Spanish
    Foreign language: Spanish
    ingrid
  • Clarice, 37
    Brazil, Santa Rosa
    Native language: Portuguese
    Foreign language: Spanish
    Clarice
  • JUVENAL, 18
    Bolivia, Cochabamba
    Native language: Spanish
    Foreign language: Portuguese
    JUVENAL