You are here: silicon.com > Resources > White Papers > Data Management > Data Infrastructure > Knowledge and Data Management

Knowledge and Data Management White Papers

Shape Analysis for Composite Data Structures

Overview This paper proposes a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include "Cyclic doubly-linked lists of acyclic singly-linked lists", "Singly-linked lists of cyclic doubly-linked lists with back-pointers to head nodes", etc. The analysis introduces the use of generic higher-order inductive predicates describing spatial relationships together with a method of synthesizing new parameterized spatial predicates which can be used in combination with the higher-order predicates.

Further White Paper Details
Publisher	Springer Science+Business Media	File Format	PDF
Date Published	May 2007
Format	White Papers
Topics	Knowledge and Data Management, Data Mining - Analysis

Did you find this white paper useful? 3 out of 5 users found this white paper useful

Ovum Report: IBM Simplfies Service Management to facilitate business and IT

Publisher:
IBM

Accelerating Enterprise Data Governance Part 1

Publisher:
DataFlux

Data Governance for Master Data Management and Beyond

Publisher:
DataFlux

Getting Started with Master Data Management

Publisher:
DataFlux

Five Steps to More Valuable Enterprise Data

Publisher:
DataFlux

'Putting a chastity belt on technology': Copyright law and technology

On Friday, a Kentucky court granted a preliminary injunction to Lexmark International against a company that makes generic replacement cartridges for Lexmark printers. Ben Edelman, a Harvard law student and researcher, filed a pre-emptive lawsuit...

Are spam blacklists killing legitimate emails?

She added that hobbyists and nonprofit groups operating mailing lists have encountered an increasing number of problems. Margie Arbon of the Mail Abuse Prevention System defended the practice of blacklisting, in which activists create and publish a...

Channel:
Law & Policy
Tags:
yahoo,
blocking,
aol,
filter

IBM jumps on the RFID bandwagon

Each chip transmits a unique ID code that lists a range of product information such as origin, location, expiration date and time of purchase. The technology allows companies to follow movement of products closely via computer networks linked with...

Channel:
LANs
Tags:
rfid

Quocirca's Straight Talking: Is programming dead?

The first, most press-worthy reason is web services, the generic term for a set of standards for how application software elements talk to each other. The second reason, which is also inextricably linked into the application architecture work, is...

Channel:
IT Pro
Tags:
mda,
quocirca

Peter Cochrane's Uncommon Sense: Six degrees and super nodes

So on an acquaintance basis, each individual is linked to 300 people who are each linked to a further 300. It seems very few networks offer even or homogenous structures. They are almost always clustered assemblies that concentrate around a...

Channel:
LANs
Tags:
super nodes,
networks

Leader: When is spam not spam?

But while some liberties have clearly been taken Labour claim they haven't bought in email lists or generated the kind of random database associated with true spammers. From the kind of pernicious spammers who bombard our inboxes daily to marketers...

Channel:
The Spam Report
Tags:
tony,
email,
spam,
blair

Live Webcast: Telecoms 2.0 - Where is telecoms heading?

In this webcast, our panel of experts will review where we are with next generation telecoms in the UK, working through the concept of 'Telecoms 2.0': - Realising the potential of Next Generation Networks - why it isn't just about the technology? - What attributes should firms be looking for in their telco partner? - Is the relationship between telco provider and customer changing? - What things need to happen to make next generation services a reality? - You say you want the supplier to change. Do you want to change too? - What is Telecoms 2.0?

Publisher:
ZDNet UK

Telecom 2.0: Mind over matter

ntl:Telewest Business believes that the role of the telco is evolving. Gone are the days when it was enough to simply focus on circuits and minutes, customers now need a far higher degree of interaction and look for suppliers who will talk business solutions with them.

Publisher:
ntl:Telewest Business

IBM Information Server Change Data Capture

In today's fast-paced world, access to real-time data has never been more important. To be successful, organizations need to be able to report and analyze corporate data quickly and easily, regardless of what applications created the data, what platform they're running on, or what database they're stored in.

Publisher:
IBM

An examination of server consolidation: the trends that can drive efficiencies and help businesses gain a competitive edge

This white paper provides a starting point for organizations contemplating server consolidation. It includes an overview of server consolidation concepts and techniques and provides guidance on methodologies. It also looks at the potential cost savings associated with server consolidation and offers information on how organizations can sustain the advantage they have gained by consolidating their servers.

Publisher:
IBM

Also on silicon.com

Site Navigation:

Knowledge and Data Management White Papers

Shape Analysis for Composite Data Structures

Quick Sitemap Links:

About Us

Search

Blogs

Verticals

Advertising Features

CNET Networks in Europe

CNET Networks in the United States

CNET Networks in Asia Pacific