6201 search results - page 1166 / 1241 » Implementation of Axiomatic Language |
160
click to vote
FDL
2003
IEEE
15 years 9 months ago
2003
IEEE
SystemC-Plus from the ODETTE project provides the ability to simulate and synthesise object-oriented specifications into hardware. The current ODETTE compiler translates each obj...
173
click to vote
PASTE
2010
ACM
15 years 9 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...
130
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Modular development of concurrent applications requires threadsafe components that behave correctly when called concurrently by multiple client threads. This paper focuses on line...
161
click to vote
ICPPW
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
183
click to vote
SAINT
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper, we describe the Jack-in-the-Net (Ja-Net) architecture for adaptive services in a large scale, open network environment. Using biologically inspired concepts, Ja-Net...