11455 search results - page 2219 / 2291 » The Rayset and Its Applications |
ICECCS
1995
IEEE
14 years 1 months ago
1995
IEEE
When trying to describe the behaviour of large systems, such as the business processes of large enterprises, we often adopt diagramming techniques based on derivatives of data flo...
ISCA
1995
IEEE
14 years 1 months ago
1995
IEEE
Speculative execution is execution of instructions before it is known whether these instructions should be executed. Compiler-based speculative execution has the potential to achi...
SC
1995
ACM
14 years 1 months ago
1995
ACM
Release consistency is a widely accepted memory model for distributed shared memory systems. Eager release consistency represents the state of the art in release consistent protoc...
BIRTHDAY
1991
Springer
14 years 1 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
INFOCOM
1994
IEEE
14 years 1 months ago
1994
IEEE
In personal communications applications, users communicate via wireless with a wireline network. The wireline network tracks the current location of the user, and can therefore ro...