1704 search results - page 126 / 341 » Focusing Software Education on Engineering |
121
click to vote
VSTTE
2005
Springer
15 years 9 months ago
2005
Springer
To have impact, a grand challenge should provide a way for diverse research to be integrated in a synergistic fashion. Synergy in the JML project comes from a shared specification...
110
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
This chapter is to provide a tutorial and pointers to results and related work on timed automata with a focus on semantical and algorithmic aspects of verification tools. We prese...
106
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
The power consumption due to the HW/SW communication on system-level buses represents one of the major contributions to the overall power budget. A model to estimate the switching...
153
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
raction levels of communication models to allow designers to trade off between performance and accuracy. Contrary to [2][3], we present an optimization method which preserves the a...
117
click to vote
COBUILD
1999
Springer
15 years 8 months ago
1999
Springer
This paper argues for the importance of home-related research on technology. Several important differences between researching homes and researching workplaces are described, and s...