Results 41 to 50 of about 2,774 (93)
OASIcs, Volume 67, PLATEAU'18, Complete Volume
, 2019 OASIcs, Volume 67, PLATEAU'18, Complete ...
Barik, Titus +2 more
openaire +2 more sources
OASIcs, Volume 54, ATMOS'16, Complete Volume
, 2016 OASIcs, Volume 54, ATMOS'16, Complete ...
Goerigk, Marc, Werneck, Renato
openaire +2 more sources
Reallocation Problems in Scheduling
, 2013 In traditional on-line problems, such as scheduling, requests arrive over time, demanding available resources. As each request arrives, some resources may have to be irrevocably committed to servicing that request.
Bender, Michael A. +4 more
core +1 more source
OASIcs, Volume 103, WCET 2022, Complete Volume
, 2022 OASIcs, Volume 103, WCET 2022, Complete ...
openaire +2 more sources
Source Code Verification for Embedded Systems using Prolog
, 2017 System relevant embedded software needs to be reliable and, therefore, well tested, especially for aerospace systems. A common technique to verify programs is the analysis of their abstract syntax tree (AST).
Flederer, Frank +3 more
core +2 more sources
OASIcs, Volume 56, SLATE'17, Complete Volume
, 2017 OASIcs, Volume 56, SLATE'17, Complete ...
Queirós, Ricardo +4 more
openaire +2 more sources
OASIcs, Volume 81, ICPEC 2020, Complete Volume
, 2020 OASIcs, Volume 81, ICPEC 2020, Complete ...
Queirós, Ricardo +3 more
openaire +2 more sources
Computational Models (of Narrative) for Literary Studies [PDF]
, 2015 In the last decades a growing body of literature in Artificial Intelligence (AI) and Cognitive Science (CS) has approached the problem of narrative understanding by means of computational systems.
Lieto, Antonio
core
OASIcs, Volume 21, SLATE'12, Complete Volume
, 2012 OASIcs, Volume 21, SLATE'12, Complete ...
Simões, Alberto +2 more
openaire +2 more sources
OASIcs, Volume 92, FAB 2021, Complete Volume
, 2021 OASIcs, Volume 92, FAB 2021, Complete ...
Gramoli, Vincent, Sadoghi, Mohammad
openaire +2 more sources