Wednesday, November 28, 2007
Tuesday, November 27, 2007
mozdev.org - www: notes/l10n/howto-en
How to Localize a Mozilla Extension?
mozdev.org - www: notes/l10n/howto-en
mozdev.org - www: notes/l10n/howto-en
Forum Nokia - The maemo platform
Forum Nokia - The maemo platform
Maemo is a computer architecture platform built on desktop
open source components. It is aimed at enabling applications
and innovative technology for mobile handheld devices.
Maemo is a computer architecture platform built on desktop
open source components. It is aimed at enabling applications
and innovative technology for mobile handheld devices.
Monday, November 26, 2007
XMPP Standards Foundation
XMPP Standards Foundation
the Extensible Messaging and Presence Protocol (XMPP)
an open XML communications technology developed by the Jabber open-source community in 1999,
formalized by the IETF in 2002-2004,
extended through the standards process of the XMPP Standards Foundation.
the Extensible Messaging and Presence Protocol (XMPP)
an open XML communications technology developed by the Jabber open-source community in 1999,
formalized by the IETF in 2002-2004,
extended through the standards process of the XMPP Standards Foundation.
Friday, November 23, 2007
Tuesday, November 20, 2007
Monday, November 19, 2007
Cambridge Dictionaries Online - Cambridge University Press
Omnivore: an animal that is naturally able to eat both plants and meat. Compare carnivore, herbivore.
Sunday, November 18, 2007
Coinduction
Proof Methods for Corecursive Programs
(Jeremy Gibbons and Graham Hutton)
5. Coinduction
A bisimulation
- A relation R on lists
xs R ys if xs = ys = \bot
or xs = ys = []
or \exists v,vs,ws. xs=v:vs and ys=v:ws and vs R ws
The two lists xs and ys are related by a bisimulation. They are
either both undefined, both empty, or both non-empty with heads
that are equal and tails that are themselves releated by the
bisumulation.
xs ~ ys if \exists R. R is a bisimulation and xs R ys
xs and ys are related by such a bisimulation.
Coinduction
- xs = ys iff xs ~ ys
The proof is present in the paper.
A Proof Principle
The problem of proving map f (iterate f x) = iterate f (f x) is
equal to the problem of finding a bisimulation that relates the two
lists.
For example, R = { (map f (iterate f x), iterate f (f x)) f, x of
appropriate types }.
To verify R is a bisimulation is to prove the equality!
(Jeremy Gibbons and Graham Hutton)
5. Coinduction
A bisimulation
- A relation R on lists
xs R ys if xs = ys = \bot
or xs = ys = []
or \exists v,vs,ws. xs=v:vs and ys=v:ws and vs R ws
The two lists xs and ys are related by a bisimulation. They are
either both undefined, both empty, or both non-empty with heads
that are equal and tails that are themselves releated by the
bisumulation.
xs ~ ys if \exists R. R is a bisimulation and xs R ys
xs and ys are related by such a bisimulation.
Coinduction
- xs = ys iff xs ~ ys
The proof is present in the paper.
A Proof Principle
The problem of proving map f (iterate f x) = iterate f (f x) is
equal to the problem of finding a bisimulation that relates the two
lists.
For example, R = { (map f (iterate f x), iterate f (f x)) f, x of
appropriate types }.
To verify R is a bisimulation is to prove the equality!
Saturday, November 17, 2007
Embedded.com - A survey of Linux device drivers
Embedded.com - A survey of Linux device drivers
(번역)
리눅스에서 디바이스 드라이버는 실제 디바이스를 사용자 공간 (user space)나 커널 공간 (kernel space)
(번역)
리눅스에서 디바이스 드라이버는 실제 디바이스를 사용자 공간 (user space)나 커널 공간 (kernel space)
Friday, November 16, 2007
Tuesday, November 13, 2007
Monday, November 12, 2007
Saturday, November 03, 2007
Subscribe to:
Posts (Atom)