251 search results - page 12 / 51 » On Modular Decomposition of Integers |
DSN
2000
IEEE
15 years 2 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...
DM
1998
14 years 9 months ago
1998
Cameron introduced a natural probability measure on the set S of sum-free sets, and asked which sets of sum-free sets have a positive probability of occurring in this probability m...
ICML
2000
IEEE
15 years 10 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
14 years 14 days 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...
SIAMJO
2008
14 years 9 months ago
2008
We propose a new class of stochastic integer programs whose special features are dominance constraints induced by mixed-integer linear recourse. For these models, we establish clo...