Results 31 to 40 of about 2,774 (93)

OASIcs, Volume 14, ATMOS'10, Complete Volume

, 2012
OASIcs, Vol. 14, 10th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS'10), pages 0 ...
Erlebach, Thomas, Lübbecke, Marco
openaire   +3 more sources

OASIcs, Volume 90, AUTOMATA 2021, Complete Volume

, 2021
OASIcs, Volume 90, AUTOMATA 2021, Complete ...
Castillo-Ramirez, Alonso, Guillon, Pierre, Perrot, Kévin   +2 more
openaire   +2 more sources

Optimisation of simultaneous train formation and car sorting at marshalling yards [PDF]

, 2013
Efficient and correct freight train marshalling is vital for high quality carload freight transportations. During marshalling, it is desirable that cars are sorted according to their individual drop-off locations in the outbound freight trains ...
Bohlin, Markus, Dahms, Florian, Gestrelius, Sara   +2 more
core   +1 more source

OASIcs, Volume 4, WCET'06, Complete Volume

, 2012
OASIcs, Vol.
openaire   +3 more sources

OASIcs, Volume 82, Tokenomics 2020, Complete Volume

, 2021
OASIcs, Volume 82, Tokenomics 2020, Complete ...
Anceaume, Emmanuelle, Bisière, Christophe, Bouvard, Matthieu, Bramas, Quentin, Casamatta, Catherine   +4 more
openaire   +2 more sources

How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics

, 2014
International audienceIn systems with hard real-time constraints, it is necessary to compute upper bounds on the worst-case execution time (WCET) of programs; the closer the bound to the real WCET, the better.
Asavoae M., Ballabriga C., Biere A., Caspi P., Claire Maïza, Cotton S., Cotton S., Dalsgaard A., David Monniaux, de Moura L. M., de Moura L. M., Engblom J., Gustafsson J., Holsti N., Huber B., Julien Henry, Kroening D., Metzner A., Mihail Asavoae, Negi H., Nemer F., Reineke J., Wilhelm R.   +22 more
core   +3 more sources

OASIcs, Volume 75, ATMOS'19, Complete Volume

, 2019
OASIcs, Volume 75, ATMOS'19, Complete ...
Cacchiani, Valentina, Marchetti-Spaccamela, Alberto   +1 more
openaire   +2 more sources

Alignment of Memory Transfers of a Time-Predictable Stack Cache [PDF]

, 2014
N/AModern computer architectures use features which often com-plicate the WCET analysis of real-time software. Alterna-tive time-predictable designs, and in particular caches, thus are gaining more and more interest.
Abbaspourseyedi, Sahar, Brandner, Florian   +1 more
core   +1 more source

OASIcs, Volume 66, ICCSW'18, Complete Volume

, 2019
OASIcs, Volume 66, ICCSW'18, Complete ...
Pirovano, Edoardo, Graversen, Eva
openaire   +2 more sources

Between Sense and Sensibility: Declarative narrativisation of mental models as a basis and benchmark for visuo-spatial cognition and computation focussed collaborative cognitive systems

, 2013
What lies between `\emph{sensing}' and `\emph{sensibility}'? In other words, what kind of cognitive processes mediate sensing capability, and the formation of sensible impressions ---e.g., abstractions, analogies, hypotheses and theory formation, beliefs
Bhatt, Mehul
core