This paper presents an overview of the activities carried out within the ESPRIT project OCEANS whose objective is to investigate and develop advanced compiler infrastructure for em...
An objective of this research is to develop a framework for regulation management as well as for comparing regulations from multiple sources. An online repository for regulatory d...
Many different constructions for (t, m, s)-nets and (t, s)-sequences are known today. Propagation rules as well as connections to other mathematical objects make it difficult to ...
Embedded, textual DSLs are often provided as an API wrapped around object-oriented application frameworks to ease framework integration. While literature presents claims that DSL-...
Stefan Sobernig, Patrick Gaubatz, Mark Strembeck, ...
Computer systems for surgical planning and training are poised to greatly impact the traditional versions of these tasks. These systems provide an opportunity to learn surgical tec...
Joel Brown, Kevin Montgomery, Jean-Claude Latombe,...