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!

  • Francisco Javier Rauet Lameiro, 67
    Spain, Badalona
    Native language: Spanish
    Foreign language: French
    Francisco ...
  • Elizabeth Henriquez, 39
    Honduras, La Ceiba
    Native language: Spanish
    Foreign language: English
    Elizabeth ...
  • pfoshan
    China, Foshan City
    Native language: Spanish
    Foreign language: English
    Estimado/ a, Permítanos presentarnos. SPAIN CHINA IMPORT, con sede en Foshan City ( Guangdong), somos un grupo de profesionales hispano- chinos, con más de 10 años de experiencia como consultores y agentes de compras de diversas empresas hispanas y latinoamericanas, dándoles seguridad y tranquilidad en sus inversiones tanto en China como en el sureste asiático. Nosotros, a través de los más de 10 años que llevamos trabajando en China, hemos construido una red extensa de proveedores de diferentes rubros, con la que guardamos estrecha colaboración y confianza, todas con sus certificados de calidad, legalidad, buenos precios, y con todos los documentos y homologaciones internacionales exigidos para poder exportar, las cuales las ponemos al alcance de ustedes. SPAIN CHINA IMPORT pone así a su disposición de una Oficina de Compras en China a un coste muy reducido. Nos gusta concertar acuerdos personalizados y de justo precio con nuestros clientes, con el fin de no perjudicarse ninguna de las partes. Cotizamos siempre a la baja, pero siempre expuesto ello a llegar a un mutuo acuerdo, que no dañe a ninguna de las partes. Sabemos que para nosotros la única forma de crecer es junto a Usted, y para eso tenemos que cuidar y mimar su negocio como si fuera nuestro. Con estos acuerdos le incluimos los siguientes servicios: * Negociación de condiciones y precios con proveedores * Acceso a nuestros catalogos * Controles de producción * Auditorías a fábricas ( opcional) * Analisis de laboratorio ( opcional) * Gestión de certificados de sus productos ( opcional) * Seguimiento continuo de sus pedidos * Inspecciones pre- embarques, Controles de Calidad y Cantidad antes de embarcar * Consolidaciones * Documentación aduanas, fletes y soluciones logísticas para sus embarques... * Programación de sus visitas a ferias y fábricas… Para más información de nuestros servicios, consulte nuestra Web ( www. spainchinaimport. com) SPAIN CHINA IMPORT se integra en su empresa como su Departamento de Compras en China poniendo a su disposición un experimentado grupo de profesionales para darle el mejor servicio en sus importaciones y poder serles útiles en la aventura tan arriesgada de importar productos de países que por su lejanía, idioma y culturas distintas, si no tienen buenos asesores en dichos países, les pueda ocasionar graves problemas a sus inversiones. Apueste por la Seguridad, apueste por nosotros, Su Oficina de Compras en China. Muchas gracias por dedicarnos unos minutos de su preciado tiempo. Pedro Alcantara Gerente de Operaciones palcantara@ ab- americangroup. net www. spainchinaimport. com
    pfoshan
  • Alex, 42
    Russian Federation, Pskov
    Native language: Russian
    Foreign language: English
    Alex
  • Ruth del Valle, 53
    Guatemala, Guatemala City
    Native language: Spanish
    Foreign language: English
    Ruth del V...
  • Demian, 25
    Mexico, Mexico
    Native language: Spanish
    Foreign language: English
    Living in a chaotic country, immersed in tangled toughts.
    Demian
  • Nuri, 29
    Kazakhstan, Uralsk
    Native language: Russian
    Foreign language: English
    I want to speak English not bad and help somebody learn Russian
    Nuri
  • Vladimir Ilyin, 57
    Russian Federation, Moscow
    Native language: Russian
    Foreign language: Portuguese, French, Spanish
    Vladimir I...
  • MHL
    Dominican Republic, Santo Domingo
    Native language: Spanish
    Foreign language: Spanish
    MHL
  • Patricia de la Paz, 53
    Mexico, Mexico
    Native language: Spanish
    Foreign language: German
    Patricia d...
  • yiselapotes, 20
    Colombia, Bogotá
    Native language: Spanish
    Foreign language: English
    i love to god
    yiselapote...
  • Pablo, 39
    Spain, Manresa
    Native language: Spanish
    Foreign language: English, French, German
    Pablo
  • luciajonathan, 26
    Togo, Lome
    Native language: English
    Foreign language: French
    luciajonat...
  • nissrine, 39
    Iraq, Baghdad
    Native language: Arabic
    Foreign language: English
    nissrine
  • Nohora Aide Lopez Montenegro, 33
    Colombia, Girardot Cundinamarca
    Native language: Spanish
    Foreign language: English
    Soy Nohora Aide Lopez Motenegro estoy balidando la primaria estoy cursando cuarto de primaria trobajo con Compensar en el día y en la noche estudio y quiero aprender inglés por me guasta por quero ser vilingue
    Nohora Aid...
  • faith, 22
    United States, New York
    Native language: Portuguese, English
    Foreign language: English
    faith
  • 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...
  • MIrolim yuldashev, 17
    Russian Federation, Novosibirsk
    Native language: English, Italian
    Foreign language: Russian, Spanish
    MIrolim yu...
  • demar, 52
    Cuba, Las Tunas
    Native language: Spanish
    Foreign language: Russian
    demar
  • Miosotis Tejada, 24
    Dominican Republic, Santo Domingo
    Native language: Spanish
    Foreign language: English
    Miosotis T...