2805 search results - page 209 / 561 » Software, architecture, and participatory design |
174
click to vote
IWSSD
2000
IEEE
15 years 11 months ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...
176
click to vote
VSTTE
2005
Springer
16 years 8 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
181
click to vote
MOBIHOC
2008
ACM
16 years 6 months ago
2008
ACM
Because of cost and resource constraints, sensor nodes do not have a complicated hardware architecture or operating system to protect program safety. Hence, the notorious buffer-o...
187
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
In-situ reconfiguration of software is indispensable in embedded networked sensing systems. It is required for re-tasking a deployed network, fixing bugs, introducing new features...
183
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Software energy estimation is a critical step in the design of energyefficient embedded systems. Instruction-level simulation techniques, despite several advances, remain too slo...