1407 search results - page 23 / 282 » Using Use Cases in Executable Z |
134
click to vote
EH
1999
IEEE
15 years 6 months ago
1999
IEEE
An evolutionary algorithm is used to evolve a digital circuit which computes a simple hash function mapping a 16bit address space into an 8-bit one. The target technology is FPGA,...
ICSM
2007
IEEE
15 years 8 months ago
2007
IEEE
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...
XPU
2009
Springer
15 years 9 months ago
2009
Springer
We present results of a case study looking at how domain knowledge is communicated to developers using executable acceptance test driven development at a large software development...
132
click to vote
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
Using traditional software profiling to optimize embedded software in an MPSoC design is not reliable. With multiple processors running concurrently and programs interacting, trad...
115
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...