Search Results - "Computing methodologies Artificial intelligence Search methodologies"

Domain Specific Languages for Optimisation Modelling by Wijesundara, Sameela Suharshani

“…Despite significant advances in computational approaches for modelling and solving combinatorial optimisation problems, there are still considerable barriers…”
Get full text

AmbieGenVAE at the SBFT 2024 Tool Competition - Cyber-Physical Systems Track by Humeniuk, Dmytro, Khomh, Foutse

“… It has achieved the highest score for one of the test subjects and the second-highest final score among 2 other submitted tools…”
Get full text

Energy-Efficient, Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model by Wu, Haisang, Ravindran, Binoy, Jensen, E. Douglas

“…). UAM embodies a "stronger" adversary than most arrival models. The algorithm considers application activities that are subject to time/utility function time…”
Get full text

Resource allocation and planning for program management by Vaziri, Kabeh, Nozick, Linda K., Turnquist, Mark A.

“… In reality, however, task durations are subject to considerable uncertainty and that uncertainty can be influenced by the resources assigned…”
Get full text

A Methodology for Automating Co-Scheduling for Reconfigurable Computing Systems by Saha, Proshanta, El-Ghazawi, Tarek

“… (subject to area, performance, resource, and timing constraints). In this paper, we introduce a methodology for automatic…”
Get full text

Dynamic Area Coverage using Faulty Multi-Agent Swarms by Cheng, Ke, Dasgupta, Prithviraj

“… Agents are also susceptible to sensor noise while communicating with other agents, and, can be subject to transient or permanent failures…”
Get full text

Resource constrained dataflow retiming heuristics for VLIW ASIPs by Jacome, M., de Veciana, G., Akturan, C.

Get full text