2251 search results - page 34 / 451 » Specification and Implementation Problems for C |
113
click to vote
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...
118
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
152
click to vote
FDL
2004
IEEE
15 years 5 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
112
click to vote
ICCSA
2007
Springer
15 years 5 months ago
2007
Springer
Coupled systems comprise multiple interacting subsystems and are an increasingly common computational science application, most notably as multiscale and multiphysics models. Paral...
111
click to vote
CADE
2006
Springer
15 years 5 months ago
2006
Springer
We present a tool for checking the sufficient completeness of linear, order-sorted equational specifications modulo associativity, commutativity, and identity. Our tool treats this...