16790 search results - page 3143 / 3358 » A Future for Software Engineering |
103
click to vote
CSEE
2004
Springer
15 years 6 months ago
2004
Springer
In a course environment, pairing a student with one partner for the entire semester is beneficial, but may not be optimal. The authors conducted a study in two undergraduate level...
ECOOP
2004
Springer
15 years 6 months 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...
107
Voted
ECOOP
2004
Springer
15 years 6 months ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...
110
Voted
EMSOFT
2004
Springer
15 years 6 months 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...
EMSOFT
2004
Springer
15 years 6 months 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...