Sciweavers

4118 search results - page 411 / 824
» Mechanisms for usage control
Sort
View
FUIN
2008
91views more  FUIN 2008»
15 years 7 months ago
A Deductive Proof System for Multithreaded Java with Exceptions
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
Erika Ábrahám, Frank S. de Boer, Wil...
FGCS
2006
88views more  FGCS 2006»
15 years 6 months ago
Token based networking: Experiment NL-101
This short communication outlines an experiment where tokens, associated with application oriented IP streams, authorize access to an optical lightpath during iGrid 2005. The expe...
Leon Gommans, Bas van Oudenaarde, Alfred Wan, Cees...
JSCIC
2008
66views more  JSCIC 2008»
15 years 6 months ago
Mesh Redistribution Strategies and Finite Element Schemes for Hyperbolic Conservation Laws
In this work we consider a new class of Relaxation Finite Element schemes for Conservation Laws, with more stable behavior on the limit area of the relaxation parameter. Combine t...
Christos Arvanitis
CCE
2005
15 years 6 months ago
Numerical simulation of stochastic gene circuits
Armed with increasingly fast supercomputers and greater knowledge of the molecular mechanisms of gene expression, it is now practical to numerically simulate complex networks of r...
Howard Salis, Yiannis N. Kaznessis
172
Voted
JSA
2007
152views more  JSA 2007»
15 years 6 months ago
Asynchronous arbiter for micro-threaded chip multiprocessors
This paper presents a scalable and partitionable asynchronous bus arbiter for use with chip multiprocessors (CMP) and its corresponding pre-layout simulation results using VHDL. T...
Nabil Hasasneh, Ian Bell, Chris R. Jesshope