4000 search results - page 578 / 800 » Simulation down under |
159
click to vote
CHARME
1997
Springer
15 years 9 months ago
1997
Springer
Formal verification techniques need to deal with the complexity of the systems rified. Most often, this problem is solved by taking an abstract model of the system and aiming at a...
154
click to vote
EPIA
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. The paper introduces a reinforcement learning-based methodology for performance improvement of Intelligent Controllers. The translation interfaces of a 3-level Hierarchic...
186
Voted
ESEC
1995
Springer
15 years 9 months ago
1995
Springer
Improvise is a multimedia system for modeling, visualizing and documenting software and business processes. It runs under Microsoft Windows and on most avors of the UNIX operating ...
155
click to vote
ICPP
1995
IEEE
15 years 9 months ago
1995
IEEE
Software barriers have been designed and evaluated for barrier synchronization in large-scale shared-memory multiprocessors, under the assumption that all processorsreach the sync...
157
click to vote
LCTRTS
1995
Springer
15 years 9 months ago
1995
Springer
In this paper, we present a preemptive joint scheduling of hard deadline periodic and hard deadline aperiodic tasks on a uniprocessor real-time system. The scheduling has extended...