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!

  • manuel turcios, 67
    El Salvador, San Salvador
    Native language: Spanish
    Foreign language: English
    manuel tur...
  • Marileny, 21
    Dominican Republic, Santiago
    Native language: Spanish
    Foreign language: English
    Marileny
  • Eвгений, 28
    Ukraine, Нова Ушиця
    Native language: Ukrainian
    Foreign language: English
    Eвгений
  • TONI LY, 33
    Ecuador, Cuenca
    Native language: Spanish
    Foreign language: English
    TONI LY
  • rolo
    Argentina, Buenos Aires
    Native language: Spanish
    Foreign language: English, Italian
    rolo
  • abraham, 42
    Spain, Las Palmas De Gran Canarias
    Native language: Spanish
    Foreign language: Indonesian
    Sinple es la vlaridad del zueño
    abraham
  • angel gonzalez castillo, 27
    Mexico, Coahuila
    Native language: Spanish
    Foreign language: English
    i&# 39; m Michael from mexico city... i&# 39; m 23 years old , quisiera conocer gente de otros países, america del sur... espero platicar con ustedes... :) Dios los Bendiga
    angel gonz...
  • Roge el goloso, 25
    Panama, Panama
    Native language: Spanish
    Foreign language: Spanish
    estudio en la umecit; toy soltero y en buska ; soy satirasis pero bien goloso.
    Roge el go...
  • sylvale, 42
    Argentina, Parana
    Native language: Spanish
    Foreign language: English
    sylvale
  • Zhanibek, 20
    China, Shanghai
    Native language: Russian
    Foreign language: English
    Zhanibek
  • VICTORIA, 48
    Peru, Lima
    Native language: Spanish
    Foreign language: English
    I would like to meet people that speak english to practice my writing and conversation.
    VICTORIA
  • Miosotis Tejada, 27
    Dominican Republic, Santo Domingo
    Native language: Spanish
    Foreign language: English
    Miosotis T...
  • maria victoria , 57
    Uruguay, Montevideo
    Native language: Korean
    Foreign language: Korean
    maria vict...
  • LUIS ROCA, 66
    Mexico, Ciudad De Mexico
    Native language: Spanish
    Foreign language: English
    Hola buenas tardes me encuentro en la Ciudad de México, me dedico a la Capacitación y Entrenamiento para personal de Seguridad Privada Integral y disciplinas transversales, paralelas o relacionadas. Estudio la Licenciatura en Psicopedagogía en el Instituto Mexicano de Psicooncología. Me gustaría conocer e intercambiar opiniones con otras personas que les guste la Educación, Capacitación y Entrenamiento para las personas. Por favor en Español ya que no domino plenamente el Ingles. Saludos y muchas gracias.
    LUIS ROCA
  • Ines Maria , 18
    Dominican Republic, Santo Domingo
    Native language: Spanish
    Foreign language: English
    Ines Maria...
  • Nelson Homero Gonzalez Coronel, 44
    Ecuador, Cañar
    Native language: Spanish
    Foreign language: English
    Nelson Hom...
  • Cesar Edwin Ramirez , 29
    Colombia, Bogota
    Native language: Spanish
    Foreign language: English, German, French
    Cesar Edwi...
  • kalidia, 20
    Dominican Republic, Santiago
    Native language: Spanish
    Foreign language: English
    kalidia
  • Oksana
    Russian Federation, Samara
    Native language: Russian
    Foreign language: English
    Oksana
  • roman, 43
    Mexico, Chihuahua
    Native language: Spanish
    Foreign language: English, German
    roman