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
Resource(3I)															      Resource(3I)

NAME
Resource - shared object SYNOPSIS
#include <InterViews/resource.h> DESCRIPTION
Resource is a class that provides a simple form of reference counting for shared objects. Every resource has a reference count that is initially set to zero and must be explicitly incremented through a call to Reference. A resource should not be deleted like other objects; instead, the static member function unref should be used to unreference the object. When a resource is unreferenced, the reference count is decremented unless it is already zero. If the count is zero, the object is destroyed. PUBLIC OPERATIONS
Resource() Create a new resource object with its reference count set to zero. void ref() Increment the resource's reference count. void unref() Decrement the resource's reference count, if it is positive, and delete this if the count is zero. static void ref(Resource*) If the resource is not nil, call ref on it. Otherwise do nothing. static void unref(Resource*) If the resource is not nil, call unref on it. Otherwise do nothing. void Reference() This function is equivalent to ref and is provided solely for backward compatibility. It will be removed in a future version. void Unreference() This function is equivalent to unref and is provided solely for backward compatibility. It will be removed in a future version. FRIEND OPERATIONS
void Unref(Resource*) This function is equivalent to static unref and is provided solely for backward compatibility. It will be removed in a future ver- sion. BUGS
This scheme relies on manual referencing, which is more efficient, but also more dangerous. When garbage collection is supported by the runtime system, resources will be unnecessary. InterViews Reference Manual Resource(3I)