Darwin
from
The Free On-line Dictionary of Computing (8 July 2008)
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 <[email protected]>, Naranker Dulay
<[email protected]>.
3. {Core War}.
(2003-08-08)
from
U.S. Gazetteer (1990)
Darwin, MN (city, FIPS 14842)
Location: 45.09701 N, 94.40406 W
Population (1990): 252 (124 housing units)
Area: 1.9 sq km (land), 0.2 sq km (water)
Zip code(s): 55324
from
U.S. Gazetteer Places (2000)
Darwin, CA -- U.S. Census Designated Place in California
Population (2000): 54
Housing Units (2000): 54
Land area (2000): 1.375511 sq. miles (3.562558 sq. km)
Water area (2000): 0.000000 sq. miles (0.000000 sq. km)
Total area (2000): 1.375511 sq. miles (3.562558 sq. km)
FIPS code: 18030
Located within: California (CA), FIPS 06
Location: 36.268417 N, 117.591970 W
ZIP Codes (1990):
Note: some ZIP codes may be omitted esp. for suburbs.
Headwords:
Darwin, CA
Darwin
from
U.S. Gazetteer Places (2000)
Darwin, MN -- U.S. city in Minnesota
Population (2000): 276
Housing Units (2000): 130
Land area (2000): 0.748639 sq. miles (1.938965 sq. km)
Water area (2000): 0.078103 sq. miles (0.202287 sq. km)
Total area (2000): 0.826742 sq. miles (2.141252 sq. km)
FIPS code: 14842
Located within: Minnesota (MN), FIPS 27
Location: 45.096031 N, 94.405669 W
ZIP Codes (1990): 55324
Note: some ZIP codes may be omitted esp. for suburbs.
Headwords:
Darwin, MN
Darwin
from
Who Was Who: 5000 B. C. to Date
DARWIN
Charlie, a well-known enemy of preachers. He discovered
that many men looked like their progenitors, and proved his
theories with the exception of one link. The clergymen claimed
that a chain with one link missing was no chain, and that D.
was a nature faker. Publications: Origin of Species, a
valuable book, even if it does fail to explain the currency
bill.
[email protected]