Featured Research

from universities, journals, and other organizations

Computer Scientists Seek New Framework For Computation

Date:
October 30, 2008
Source:
European Science Foundation
Summary:
There have been several revolutions during the 60 year history of electronic computation, such as high level programming languages and client/server separation, but one key challenge has yet to be fully resolved. This is to break down large complex processes into small more manageable components that can then be reused in different applications.

There have been several revolutions during the 60-year history of electronic computation, such as high level programming languages and client/server separation, but one key challenge has yet to be fully resolved. This is to break down large complex processes into small more manageable components that can then be reused in different applications.

Related Articles


There are many possible ways of doing this, but none of them cope well with all processes, with the major problem lying in the dependent links, or correlations, between components that cannot be broken down, the threads that interconnect whole computer processes or programs. These correlations are common to all processes in which computation is involved, including biological systems and the emerging field of quantum computing, as well as conventional programming.

European computer scientists believe the time is right now for a coordinated effort to solve the correlation problem and a group of them recently held a workshop organised by the European Science Foundation (ESF) to establish a framework for further research. The workshop was an astounding success, firstly in identifying that correlations in computer science represented an important problem common to the whole field of programming and software development now highly relevant to all industries and everybody's lives. It was, as was noted by the workshop's convenor Ellie D'Hondt, a specialist in quantum computing research at Vrije Universiteit in Brussels, an important forum for accumulating the required expertise to take the field forward.

"We are now at a stage were all participants understand why we need a correlation paradigm, that there is a commonality between the fields included, and we converged on a definition and basic principles," said D'Hondt." People are now ready to do research on the problem, and this is what we should get together on in another year or so."

Now is a good time to tackle the correlation problem. The evolution of general purpose computing has reached a point where the correlation problem can stand in the way of progress. The explosion of the Internet has been associated with rapid growth in software components designed to be reused to avoid the cost of duplicated programming effort.

The workshop discussed progress in the relatively new field of aspect-oriented software development (AOSD), which is bringing new techniques for isolating the correlations cutting across software components. The techniques of AOSD make it possible to modularise those aspects of a system or process that cut across different components. In this way the cross cutting aspects themselves can be broken down into reusable components or objects. This in turn enables a whole process to be broken down more completely into components that also embrace the cross cutting aspects.

Research into correlation is also timely because expertise is emerging independently in three different fields, quantum computing, bio computing, and AOSD, the latter being most applicable to general purpose computing. As D'Hondt noted, cooperation between specialists in these fields is needed to avoid duplication of effort, but more particularly because it will stimulate and drive forward the whole study of correlations. On this front the ESF workshop was highly successful, because it bought together representatives from each of the three fields in small groups. "It was amazing to have these groups of people actually communicate," said D'Hondt. "We split up into small groups where there would be one aspect, one quantum and one bio person, people not usually knowing each other beforehand, and this worked! People came up with small presentations after only one day of talks getting introduced to the whole body of work."

A common thread emerged from these mini-workshops, which was the fact that correlations appear when progressing from the high level global description of a problem to the lower level local components.

"Correlations capture the interaction between the parts," said D'Hondt. In other words the devil is in the detail. This is as true in biological systems as say a web based search engine. In the human brain for example it is possible to define how long term memories are formed, but this does not tell us how an individual neuron might be phase locked with another at a local level, so that the two depend on each other. Similarly in computation, a high level view does not describe the particular order in which lower level components need to be executed on the basis of the correlations or links between them. For example two sub-programs might share a common variable, which decides when they have to be executed within a larger task or application.

The ESF workshop also established a common theme, which was that correlations can be a good thing, rather than a hindrance to computation, as has been shown in quantum computing. "Correlations are often seen as a burden, a nuisance, something making the problem hard to solve," said D'Hondt. "But my experience in quantum computing tells me it is something that can also steer computations or even make them possible."

Quantum computing involves entangled states that can actually be exploited to perform specific tasks more quickly – in effect just one computation can sometimes execute a large number of entangled components, each of which would require separate processing in a traditional computer.

The ultimate objective set out in the ESF workshop was to produce a recipe for programming taking full account of correlations, but this is still a long way off. Yet as D'Hondt noted, the basic framework for a new programming paradigm based on correlations in computer science was established.

The ESF workshop, Correlations in Computer Science, was held in Vielsalm, Belgium during August 2008.


Story Source:

The above story is based on materials provided by European Science Foundation. Note: Materials may be edited for content and length.


Cite This Page:

European Science Foundation. "Computer Scientists Seek New Framework For Computation." ScienceDaily. ScienceDaily, 30 October 2008. <www.sciencedaily.com/releases/2008/10/081029104256.htm>.
European Science Foundation. (2008, October 30). Computer Scientists Seek New Framework For Computation. ScienceDaily. Retrieved November 21, 2014 from www.sciencedaily.com/releases/2008/10/081029104256.htm
European Science Foundation. "Computer Scientists Seek New Framework For Computation." ScienceDaily. www.sciencedaily.com/releases/2008/10/081029104256.htm (accessed November 21, 2014).

Share This


More From ScienceDaily



More Computers & Math News

Friday, November 21, 2014

Featured Research

from universities, journals, and other organizations


Featured Videos

from AP, Reuters, AFP, and other news services

Google Announces Improvements To Balloon-Borne Wi-Fi Project

Google Announces Improvements To Balloon-Borne Wi-Fi Project

Newsy (Nov. 21, 2014) In a blog post, Google said its balloons have traveled 3 million kilometers since the start of Project Loon. Video provided by Newsy
Powered by NewsLook.com
NSA Director: China Can Damage US Power Grid

NSA Director: China Can Damage US Power Grid

AP (Nov. 20, 2014) China and "one or two" other countries are capable of mounting cyberattacks that would shut down the electric grid and other critical systems in parts of the United States, according to Adm. Michael Rogers, director of the National Security Agency and hea Video provided by AP
Powered by NewsLook.com
You Now 'Get' No-Cost Downloads In Apple's App Store

You Now 'Get' No-Cost Downloads In Apple's App Store

Newsy (Nov. 20, 2014) Apple has changed its App Store wording from "Free" to "Get," as the European Commission and Federal Trade Commission seek to protect consumers. Video provided by Newsy
Powered by NewsLook.com
Google Blocks Its Own Ads With New Contributor Program

Google Blocks Its Own Ads With New Contributor Program

Newsy (Nov. 20, 2014) Google's unveiled a crowdfunding platform dubbed Contributor, which allows people to pay for ad-free sites. Video provided by Newsy
Powered by NewsLook.com

Search ScienceDaily

Number of stories in archives: 140,361

Find with keyword(s):
Enter a keyword or phrase to search ScienceDaily for related topics and research stories.

Save/Print:
Share:

Breaking News:

Strange & Offbeat Stories


Space & Time

Matter & Energy

Computers & Math

In Other News

... from NewsDaily.com

Science News

Health News

Environment News

Technology News



Save/Print:
Share:

Free Subscriptions


Get the latest science news with ScienceDaily's free email newsletters, updated daily and weekly. Or view hourly updated newsfeeds in your RSS reader:

Get Social & Mobile


Keep up to date with the latest news from ScienceDaily via social networks and mobile apps:

Have Feedback?


Tell us what you think of ScienceDaily -- we welcome both positive and negative comments. Have any problems using the site? Questions?
Mobile: iPhone Android Web
Follow: Facebook Twitter Google+
Subscribe: RSS Feeds Email Newsletters
Latest Headlines Health & Medicine Mind & Brain Space & Time Matter & Energy Computers & Math Plants & Animals Earth & Climate Fossils & Ruins