2976 search results - page 489 / 596 » On the bounded integer programming |
EUROCAST
2001
Springer
14 years 10 days ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
BIRTHDAY
1999
Springer
14 years 3 days ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
RTSS
1996
IEEE
13 years 12 months ago
1996
IEEE
We present an integrated framework for developing realtime systems in which lock-free algorithms are employed to implement shared objects. There are two key objectives of our work...
SOFSEM
1997
Springer
13 years 12 months ago
1997
Springer
This paper surveys recent results in the area of virtual path layout in ATM networks. We present a model for the theoretical study of these layouts the model amounts to covering t...
ICRA
1994
IEEE
13 years 12 months ago
1994
IEEE
Previous work by Mattikalli et al.[1] considered the stability of assemblies of frictionless contacting bodies with uniform gravity. A linear programming-based technique was descr...