A Logical and Computational Theory of Located Resource


 
Thread Tools Search this Thread
Special Forums News, Links, Events and Announcements UNIX and Linux RSS News A Logical and Computational Theory of Located Resource
# 1  
Old 12-07-2008
A Logical and Computational Theory of Located Resource

HPL-2008-74 (R.1) A Logical and Computational Theory of Located Resource - Collinson, Matthew; Monahan, Brian; Pym, David
Keyword(s): Bunched logic, process algebra, resource semantics, location, systems modelling
Abstract: Experience of practical systems modelling suggests that the key conceptual components of a model of a system are processes, resources, locations, and environment. In recent work, we have given a process-theoretic account of this view in which resources as well as processes are first-class citizens. ...
Full Report

More...
Login or Register to Ask a Question

Previous Thread | Next Thread

6 More Discussions You Might Find Interesting

1. Shell Programming and Scripting

Shell script for %computational memory & % non computational memory

Dear, How to calculate %computational memory and %non computational memory from AIX server. What command used to find out %computational memory and % non computational memory except topas. Regards Nowshath (1 Reply)
Discussion started by: Nowshath
1 Replies

2. Shell Programming and Scripting

Capturing computational/non computational memory from topas

Hi Friends, How to capture the value of %Comp and %Noncomp values from AIX using topas command. I tried lot, but i cannot capture the value. (4 Replies)
Discussion started by: Nowshath
4 Replies

3. AIX

topas - computational memory 95% : Any Impact?

Hello Gurus, I am using AIX 5 and on running topas command. I can see the computational memory is 93.3% with Swap Paging memory at 2.2%. Could you please advise if there is any impact by the growth of computational memory? Below is the stat: MEMORY Real,MB 22528 % Comp 93.3 %... (12 Replies)
Discussion started by: panchpan
12 Replies

4. Emergency UNIX and Linux Support

Appending the contents of two files in computational manner

Hi, I have two files say file 1 file 2 File1 1 2 4 5 File 2 asdf adf How to get the ouput something like asdf1 adf1 asdf2 adf2 asdf4 adf4 asdf5 (5 Replies)
Discussion started by: ecearund
5 Replies

5. Cybersecurity

Computational complexity

This is a general question about the practical use of computational complexity in security. Wikipedia has a good article about the theoretical background of computational complexity. In the course of conversation with colleagues, a topic that is brought up occassionally is the security of any... (2 Replies)
Discussion started by: gratuitous_arp
2 Replies

6. UNIX for Advanced & Expert Users

Need Help installing a Computational Tool Kit

Hi ! I have been trying to install IMSL Computational Tool Kit on a server. It is a Lunix Redhat V.4 with Intel pentium d processor and Intel fortran compiler 8.1 and the type of command shell we run is bash. I dont know if the problem is with the Installation or the Lunix system. I have... (1 Reply)
Discussion started by: dsmv
1 Replies
Login or Register to Ask a Question
POE::Resources(3pm)					User Contributed Perl Documentation				       POE::Resources(3pm)

NAME
POE::Resources - loader of POE resources SYNOPSIS
# Intended for internal use by POE::Kernel. use POE::Resources; POE::Resources->load(); DESCRIPTION
POE::Kernel is internally split into different resources that are separately managed by individual mix-in classes. POE::Resources is designed as a high-level macro manager for POE::Resource classes. Currently it implements a single method, load(), which loads all the POE::Resource classes. METHODS
POE::Resources has a public interface, but it is intended to be used internally by POE::Kernel. Application programmers should never need to use POE::Resources directly. load POE::Kernel calls load() to loads all the known POE::Resource modules. Each resource may be handled by a pure perl module, or by an XS module. For each resource class, load() first tries to load the "POE::XS::Resource::..." version of the module. If that fails, load() falls back to "POE::Resource::...". SEE ALSO
See "Resources" in POE::Kernel for for public information about POE resources. See POE::Resource for general discussion about resources and the classes that manage them. AUTHORS &; LICENSING Please see POE for more information about its authors, contributors, and POE's licensing. perl v5.14.2 2012-05-15 POE::Resources(3pm)