Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
: The development and usage of complex information systems leads to both technical and human challenges as large numbers of stakeholders with conflicting requirements are involved....
: Since 1994 the DIALECT project produces multimedia based lectures. An interdisciplinary production team together with university professors develops digital applications used in ...
We present our experience using a large, real-world application as a course project for the second half of the semester of a CS2 course. Our primary goal for the project was to cr...
Cache hierarchies have been traditionally designed for usage by a single application, thread or core. As multi-threaded (MT) and multi-core (CMP) platform architectures emerge and...