In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
Fulvio Corno, Matteo Sonza Reorda, Giovanni Squill...
: Software evolves as requirements or technologies change. Tremendous efforts are often needed to support software evolution as evolution may involve reverse engineering and subseq...
Chung-Horng Lung, Qiang Zhao, Hui Xu, Heine Mar, P...
In this paper we discuss several challenges associated scientific workflow design and management in distributed, heterogeneous environments. Based on our prior work with a number ...
This paper presents the software architecture of the ORBIT radio grid testbed1 . We describe the requirements for supporting the lifecycle of an experiment and how they influenced...
Maximilian Ott, Ivan Seskar, Robert Siraccusa, Man...
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...