1704 search results - page 126 / 341 » Focusing Software Education on Engineering |
152
click to vote
VSTTE
2005
Springer
15 years 11 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...
129
click to vote
AC
2003
Springer
15 years 11 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...
129
click to vote
CODES
1999
IEEE
15 years 10 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...
185
click to vote
CODES
1999
IEEE
15 years 10 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...
145
Voted
COBUILD
1999
Springer
15 years 10 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...