5180 search results - page 94 / 1036 » Concurrency, Time, and Constraints |
183
click to vote
FUIN
2008
15 years 6 months ago
2008
The aim of the work is twofold. In order to face the problem of modeling time constraints in Promela, a timed extension of the language is presented. Next, timed Promela is transla...
192
click to vote
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
A non-blocking protocol that allows real-time tasks to share data in a multiprocessor system is presented in this paper. The protocol gives the means to concurrent real-time tasks...
173
click to vote
EUROMICRO
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper introduces thread integration, a new method of providing low-cost concurrency for microcontrollers and microprocessors. This post-pass compiler technology effectively i...
175
click to vote
FOCS
2005
IEEE
15 years 12 months ago
2005
IEEE
We present a non-malleable commitment scheme that retains its security properties even when concurrently executed a polynomial number of times. That is, a manin-the-middle adversa...
156
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a novel methodology for concurrent error detection in linear analog circuits. We develop a rigorous theory that yields an error detection circuit of size that is, in ge...