3792 search results - page 420 / 759 » Techniques for Trusted Software Engineering |
163
click to vote
CGO
2007
IEEE
16 years 1 months ago
2007
IEEE
The demand for high performance has driven acyclic computation accelerators into extensive use in modern embedded and desktop architectures. Accelerators that are ideal from a sof...
179
click to vote
APSEC
2006
IEEE
16 years 27 days ago
2006
IEEE
Testing for time-related behaviors of PLC software is important and should be performed carefully. We propose a structural testing technique on Function Block Diagram(FBD) network...
142
click to vote
ISSTA
2006
ACM
16 years 24 days ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
170
click to vote
ISSTA
2004
ACM
16 years 7 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
162
click to vote
ADAEUROPE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...