9626 search results - page 1521 / 1926 » Invariant Based Programming |
166
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
183
click to vote
ICS
2007
Tsinghua U.
16 years 29 days ago
2007
Tsinghua U.
Positive results from new object-oriented tools for scientific programming are reported. Using template classes, abstractions of matrix representations are available that subsume...
203
click to vote
IPSN
2007
Springer
16 years 29 days ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
201
click to vote
CODES
2006
IEEE
16 years 27 days ago
2006
IEEE
For modern embedded systems, the complexity of embedded applications has reached a point where the performance requirements of these applications can no longer be supported by emb...
270
click to vote
FCCM
2006
IEEE
16 years 26 days ago
2006
IEEE
Current Radio Frequency Identification (RFID) systems generally have long design times and low tolerance to changes in specification. This paper describes a field programmable,...