18898 search results - page 3372 / 3780 » The Making of a Software Engineer |
157
click to vote
ECOOP
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Programming with Java monitors is recognized to be difficult, and potentially inefficient due to many useless context switches induced by the notifyAll primitive. This pa...
192
Voted
EMSOFT
2004
Springer
16 years 7 days ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
173
Voted
EMSOFT
2004
Springer
16 years 7 days ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
200
Voted
EMSOFT
2004
Springer
16 years 7 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
173
click to vote
EMSOFT
2004
Springer
16 years 7 days ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...