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!

  • may, 23
    Colombia, Quibdo
    Native language: Spanish
    Foreign language: English
    may
  • Павел, 32
    Russian Federation, Ярославль
    Native language: Russian
    Foreign language: English
    Павел
  • odeney001, 27
    Ecuador, Guayaquil
    Native language: Spanish
    Foreign language: English
    odeney001
  • Raquel, 20
    Dominican Republic, Santo Domingo
    Native language: Spanish
    Foreign language: English
    Soy una chica muy divertida,, me entereza mucho aprender mas del idioma ingles, amo los estudios, me encanta descubrir cosas nuevas y poner en practica lo que aprendo..
    Raquel
  • ericksanti, 19
    Argentina, Buenos Aires
    Native language: Spanish
    Foreign language: Spanish
    Soy estudiante de Universitario con deseos de aprender mas idiomas y es por eso que recurro a esta pagina si alguien esta dispuesto a ayudarme se lo agrade- seria mucho gracias de ante mano
    ericksanti
  • Aigul, 23
    Russian Federation, Kazan
    Native language: Russian
    Foreign language: English
    Aigul
  • Isabel, 47
    Vietnam, Ho Chi Minh City
    Native language: Spanish
    Foreign language: English
    Isabel
  • Tara, 31
    Vietnam, Ha Noi
    Native language: Vietnamese
    Foreign language: Spanish
    Tara
  • inglishmaning
    Turkmenistan
    Native language: Russian
    Foreign language: English
    inglishman...
  • andres alvarez, 25
    Colombia
    Native language: Spanish
    Foreign language: English
    andres alv...
  • demar, 52
    Cuba, Las Tunas
    Native language: Spanish
    Foreign language: Russian
    demar
  • MERY, 25
    El Salvador, San Salvador
    Native language: Spanish
    Foreign language: French
    MERY
  • haley, 22
    Colombia, Santa Fe De Bogota
    Native language: Estonian
    Foreign language: English
    i&# 39; m easy going, very relaxed, but i like fight for my dreams til i get to the goal; also i like do exercise but at the moment i don&# 39; t have enough time, i&# 39; m very focused on my career, i would like meet people, who i can talk and share...
    haley
  • cristal, 41
    Dominican Republic, Santo Domingo
    Native language: Spanish
    Foreign language: English
    cristal
  • Ripai, 45
    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
  • ZIAD, 50
    Jordan, Amman
    Native language: Arabic
    Foreign language: English
    ZIAD
  • andrea carolina, 18
    Colombia, Barranquilla
    Native language: Spanish
    Foreign language: English
    andrea car...
  • Lilian, 23
    Cuba
    Native language: Spanish
    Foreign language: English, Italian
    Lilian
  • ines esprou, 36
    Dominican Republic, San Pedro De Macoris
    Native language: Spanish
    Foreign language: English
    I like to watch tv and go to the movies. i like to listen to the music and dance. i&# 39; d like to meet people who speaks english for improve my english skills.
    ines espro...
  • Cesar Edwin Ramirez , 27
    Colombia, Bogota
    Native language: Spanish
    Foreign language: English, German, French
    Cesar Edwi...