9626 search results - page 1848 / 1926 » Invariant Based Programming |
108
click to vote
IPSN
2004
Springer
15 years 5 months ago
2004
Springer
We describe a novel method for node localization in a sensor network where there are a fraction of reference nodes with known locations. For application-specific sensor networks, ...
103
click to vote
SERA
2004
Springer
15 years 5 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
103
click to vote
SIGCSE
2010
ACM
15 years 5 months ago
2010
ACM
Inspired by the formal code inspection process commonly used in the software industry, we have been exploring the use of pedagogical code reviews (PCRs), in which a team of three ...
CLUSTER
2003
IEEE
15 years 5 months ago
2003
IEEE
We further increase the efficiency of Java RMI programs. Where other optimizing re-implementations of RMI use pre-processors to create stubs and skeletons and to create class spe...
116
click to vote
CODES
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes a hardware-software co-design approach for flexible programmable Galois Field Processing for applications which require operations over GF(2m ), such as RS an...