logic on SWiK

Barendregt's Lambda Cube

Sat, 06 Sep 2008 09:00:55 -0700

mu_96_02.pdf (объект "application/pdf")

Wed, 03 Sep 2008 09:57:43 -0700

FLORA-2

Wed, 03 Sep 2008 04:58:16 -0700

Far Out Labs

Tue, 02 Sep 2008 20:03:59 -0700

DL and Haskell

Mon, 01 Sep 2008 23:56:44 -0700

Home Page of Markus Triska

Mon, 01 Sep 2008 10:56:22 -0700

Benjamin C. Pierce

Thu, 28 Aug 2008 22:55:50 -0700

The Functional Logic Language Curry

Thu, 28 Aug 2008 21:55:34 -0700

Desktop Virtualization: Where Thin Clients Meet the Cloud

Thu, 28 Aug 2008 18:11:51 -0700

Today the organization behind the popular Xen open-source hypervisor announced the latest release of its virtualization software. It’s smaller, has better power management and graphics capabilities, and can run on machines ranging from servers to laptops and mobile phones.

Also, Nortel announced today a product it calls an “office-on-a-stick.” I would call it a virtualized desktop. Nortel joins companies large and small pushing products that can replicate your computer and information anywhere on computers, thin clients and even cell phones. Desktop virtualization competitors MokaFive, Citrix, VMware, Microsoft, Desktone and Pano Logic are trying to grow the market as well.

Participating in a call related to the semiconductor industry earlier this week, I heard from one of the analyst participants that thin-client sales were on the upswing as management focused on power savings, security and manageability. A virtualized desktop can be delivered via a USB drive, a thin client, and on hypervisor-equipped laptops. The benefit of virtualization to most companies is that mobile users can take USB drives, thin-clients or laptops and recreate the corporate compute environment in a secure and controlled setting. This takes a lot of the expense out of managing hundreds or thousands of desktops.

There are several ways to virtualize desktops. In the old thin-client model of computing, the client was connected to a server though the corporate LAN, making it a good choice for some companies worried about security, but less compelling for widespread use. Then products that allowed clients or computers to connect to virtualized computing environments located on a central server emerged. But Ian Pratt, founder of Xen.org, points out that as hypervisors start to ship on laptops and other devices (Samsung is putting a hypervisor on ARM processors for some of its smart phones) a form of two-way virtualization and syncing can occur that’s far more secure and flexible.

As virtualized servers have been gathered into computing clouds, hooking some kind of virtual desktop to that cloud has become easier to implement and manage, making desktop virtualization more interesting for corporate buyers. That was a reason Microsoft found startup Kidaro interesting enough to acquire in March and is also the value proposition behind MokaFive. The next few years could see some real changes in corporate computing.

photo of Ian Pratt courtesy of Citrix

Want to know more about the rapidly changing Cloud Computing landscape? Preview our Cloud Computing Briefing or purchase the full version.

Typed Logic: Using Difference Lists

Mon, 18 Aug 2008 08:05:53 -0700

Typed Logic: Using Difference Lists

Sun, 17 Aug 2008 07:05:08 -0700

Typed Logic: Using Difference Lists

Thu, 14 Aug 2008 21:09:05 -0700

Logtalk

Thu, 14 Aug 2008 18:09:23 -0700

Homepage for the Logtalk variant of Prolog.

Typed Logic: Using Difference Lists

Thu, 14 Aug 2008 13:09:36 -0700

Typed Logic: A Haskell Rule Engine

Wed, 13 Aug 2008 15:04:49 -0700

A nice discussion of how to build a rule engine in Haskell.

The Haskell Road

Sat, 09 Aug 2008 09:07:48 -0700

The Curry-Howard Isomorphism, a Tiny Appetizer

Thu, 24 Jul 2008 01:49:55 -0700

Münster Curry Compiler

Wed, 23 Jul 2008 18:49:57 -0700

Pellet: The Open Source OWL DL Reasoner

Mon, 21 Jul 2008 09:46:45 -0700

Pellet is an open source, OWL DL reasoner in Java.

Chaitin's construction

Mon, 21 Jul 2008 06:46:05 -0700

SWI-Prolog's Home

Fri, 18 Jul 2008 23:49:38 -0700

Translations

Wed, 16 Jul 2008 18:49:07 -0700

Perspective that relates ways to interpret natural (Sound ← Syntax → Meaning) and programming (Form ← Expression → Meaning) langs. Representing an expression as a program that is parametrically polymorphic in types that are either form or meaning.

The Haskell Road

Tue, 15 Jul 2008 05:49:10 -0700

SAT4J

Mon, 14 Jul 2008 06:46:11 -0700

SAT4J

Mon, 14 Jul 2008 06:44:18 -0700

The Curry-Howard Correspondence in Haskell

Mon, 14 Jul 2008 01:44:30 -0700

Tutorial on OWL

Tue, 08 Jul 2008 03:53:22 -0700

The Suggested Upper Merged Ontology (SUMO) - Ontology Portal

Mon, 07 Jul 2008 05:47:31 -0700

http://www.cs.chalmers.se/ ~emax/wired/documents/LP_HFL07 .pdf

Mon, 07 Jul 2008 04:47:41 -0700

Description Logic Programs: Combining Logic Programs with Description Logic

Sun, 06 Jul 2008 06:49:33 -0700