Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation

The design of embedded systems is becoming continuously more complex such that efficient system-level design methods are becoming crucial. Recently, combined Answer Set Programming (ASP) and Quantifier Free Integer Difference Logic (QF-IDL) solving has been shown to be a promising approach in system...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings - Design, Automation, and Test in Europe Conference and Exhibition s. 306 - 309
Hlavní autoři:	Neubauer, Kai, Wanko, Philipp, Schaub, Torsten, Haubelt, Christian
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	EDAA 01.03.2017
Témata:	Delays Embedded systems Encoding Indexes Routing Schedules
ISSN:	1558-1101
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!