2607 search results - page 367 / 522 » On the Architecture of System Verification Environments |
179
click to vote
IPPS
2006
IEEE
16 years 17 days ago
2006
IEEE
Real-time resource scheduling is an important factor for improving the performance of cluster computing. In many distributed and parallel processing systems, particularly real-tim...
176
click to vote
PADS
2006
ACM
16 years 15 days ago
2006
ACM
Artificial intelligence (AI) can contribute to the management of a data driven simulation system, in particular with regard to adaptive selection of data and refinement of the mo...
165
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
We introduce the foundation of a system modeling environment targeted at capturing the anticipated interactions of hardware and software behaviors -- not just their co-execution. ...
181
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper approaches the issue of coordination of highly autonomous Automated Guided Vehicles (AGVs) working on an automated factory. These vehicles are used for goods delivery t...
192
click to vote
ECTEL
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Current Learning Management Systems were typically conceived to offer a self-contained "one size fits all" learning environment. Adaptive educational systems ha...