1109 search results - page 133 / 222 » Software verification for TinyOS |
169
click to vote
FMCO
2009
Springer
15 years 2 months ago
2009
Springer
Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advanta...
131
click to vote
STTT
2010
14 years 11 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
143
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
121
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Project managers aim at keeping track of interdependencies between various artifacts of the software development lifecycle, to find out potential requirements conflicts, to better...
134
click to vote
PPPJ
2006
ACM
15 years 10 months ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...