5981 search results - page 259 / 1197 » time 2006 |
175
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
: The formalizations of periods of time inside a linear model of Time are usually based on the notion of intervals, that may contain or may not their endpoints. This is not enough ...
188
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
152
click to vote
EOR
2006
15 years 6 months ago
2006
We develop a multi-objective model for resource allocation problem in PERT networks with exponentially or Erlang distributed activity durations, where the mean duration of each ac...
197
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
This paper investigates cluster formation in decentralized sensor grids and focusses on predicting when the cluster formation converges to a stable configuration. The traffic volum...
170
click to vote
ETS
2006
IEEE
16 years 18 days ago
2006
IEEE
In this paper we address the test scheduling problem for Builtin Self-tested (BISTed) embedded SRAMs (e-SRAMs) when Data Retention Faults (DRFs) are considered. The proposed test ...