You are here: silicon.com > Resources > White Papers > Desktops, Laptops and OS > Components > Computer Testing Equipment

Computer Testing Equipment White Papers

Fast Graph Generation for Synchronous Processes

Overview The automated analysis of concurrent systems requires that they are translated from a syntactic presentation into some semantic space. One common space of interpretation is transition systems (Milner, 1980; Milner, 1990). In particular situations it is possible to produce these transformations piecewise, but in general we need to produce the complete system graph in order to analyse it. Performing this task efficiently is clearly important for the practicality of automated systems analysis. We present some techniques that greatly reduce the cost of generating graphs from synchronous presentations of concurrent systems. These methods have been implemented within an analysis tool the probabilistic workbench (PRWB).

Further White Paper Details
Publisher	HP Labs	File Format	PDF, requires Acrobat Rdr 5
Date Published	January 2002	Downloads	68
Format	White Papers
Topics	Computer Testing Equipment

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

Improve Availability and Resiliency with Software Infrastructure Testing by IT Operations

Publisher:
StackSafe

Tags:
monitoring systems

TechNet Webcast: Mitigating Application Issues Using Shims (Level 400)

Publisher:
Microsoft Tips

Tags:
computer testing equipment

TechNet Webcast: Making Windows Vista Application Compatibility Testing More Predictable (Level 300)

Publisher:
Microsoft Tips

Tags:
computer testing equipment

Automate performance testing to predict system behavior and improve application performance

Publisher:
Hewlett-Packard (HP)

Tags:
monitoring systems

Best Practices for Implementing Automated Functional Testing Solutions

Publisher:
Hewlett-Packard (HP)

Tags:
monitoring systems

Peter Cochrane's Uncommon Sense: Wireless everything

Paradoxically, wireless communication started with spark transmitters generating signals spanning all frequencies. The past five years have seen an unusual transition in the number of wireless devices I own.

Channel:
Comment & Analysis

Through the fog... Will IM stand for 'isolated messaging'?

Well collaboration and communications covers a hell of a lot of space, so we need to look at the tools that we have at our disposal, including email, telephone, fax, paper mail, meetings and more besides.

Channel:
IM

Meta Group Quarterly: CIOs - coming out of a slump

The highest-performing CIOs (top 15 per cent of Global 2000) are linking technology and information across the enterprise and discovering previously unrealised benefits in customer relationships, supply chain management, marketing opportunities...

Mobile collaboration going nowhere - for now

Conversely, "In task-oriented work, you can start measuring the benefits to the organisation rather than to the individual," she says. For 'task-oriented', read specialist, vertical-sector applications such as field service.

Intel unveils 'lean, mean, AMD-busting' Xeon

Intel plans to make the transition to Woodcrest the fastest introduction of a new product in the company's history, Kilroy said, underscoring Intel's need for a competitive product. The company uses an internal benchmark based on its Renderman...

Channel:
Servers
Tags:
xeon,
intel

Malicious code getting harder to spot

As long as you can analyse it outside the browser, you can figure out what it is going to do," he said. Increasingly the actual code, often JavaScript, used to attack PCs is hidden in Flash animations or scrambled so anyone who examines the source...

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:

Computer Testing Equipment White Papers

Fast Graph Generation for Synchronous Processes

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