121 search results - page 9 / 25 » Modular Decomposition of Hypergraphs |
DSN
2000
IEEE
13 years 11 months ago
2000
IEEE
In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixedcriticality real-time...
ICML
2000
IEEE
14 years 8 months ago
2000
IEEE
This paper investigates how behavioral cloning can be used to decrease training time for students learning to y on simulators. The challenges presented to each student must be tai...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
We present a strictly bottom-up, summary-based, and precise heap analysis targeted for program verification that performs strong updates to heap locations at call sites. We firs...
PPSN
2004
Springer
14 years 22 days ago
2004
Springer
A scalable architecture to facilitate emergent (self-organized) task decomposition using neural networks and evolutionary algorithms is presented. Various control system architectu...
WCRE
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...