— We present a worm simulator which can be run remotely through the web, based on the parameters supplied by the client. The core simulator program executes on the server and sim...
The well known decomposition of a CPM signal into PAM waveforms represents the linear part of a CPM modulator. The paper deals with the non–linear part, not fully developed in t...
Consider the problem of scheduling a set of sporadically arriving tasks on a uniform multiprocessor with the goal of meeting deadlines. A processor p has the speed Sp. Tasks can b...
C32SAT is a tool for checking C expressions. It can check whether a given C expression can be satisfied, is tautological, or always defined according to the ISO C99 standard. C32...
: We report on a project that demonstrates how fieldtrips can be structured and delivered in novel ways, and how they can extend the range of curricula that can be addressed – in...
Eva Hornecker, John Halloran, Geraldine Fitzpatric...