541 search results - page 86 / 109 » Improving the Development Process for CSE Software |
111
Voted
DAC
1999
ACM
15 years 4 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
108
click to vote
WCRE
1999
IEEE
15 years 4 months ago
1999
IEEE
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...
172
click to vote
FASE
2011
Springer
14 years 4 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
92
Voted
DAC
2008
ACM
16 years 1 months ago
2008
ACM
With the growing number of programmable processing elements in today's MultiProcessor System-on-Chip (MPSoC) designs, the synergy required for the development of the hardware...
116
click to vote
MSWIM
2005
ACM
15 years 6 months ago
2005
ACM
Discrete-event network simulation is a major tool for the research and development of mobile ad-hoc networks (MANETs). These simulations are used for debugging, teaching, understa...