2449 search results - page 237 / 490 » Tensor Embedding Methods |
RTCSA
2000
IEEE
15 years 6 months ago
2000
IEEE
One of the hard problems in maintaining real-time systems requirements is to keep track of the impact of resource usage on the applications. Often times, it is not sufficient to ...
109
Voted
ECRTS
1999
IEEE
15 years 6 months ago
1999
IEEE
The paper considers the implementation of digital controllers as real-time tasks in priority-preemptive systems. The performance of a digital feedback control system depends criti...
132
click to vote
ICRE
1998
IEEE
15 years 6 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
117
click to vote
CARDIS
1998
Springer
15 years 6 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
106
click to vote
ICDE
1993
IEEE
15 years 6 months ago
1993
IEEE
An iterator is proposed that allows to apply sequences of update operations in a set-oriented way with deterministic semantics. Because the mechanism is independent of a particula...