4513 search results - page 667 / 903 » Logic programming with satisfiability |
142
click to vote
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
The security of software defined radio (SDR) software is essential to the trustworthiness of the overall radio system. When designing and developing security solutions for SDR sof...
143
click to vote
ICFEM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
136
click to vote
APCSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. Increasingly threading has become an important architectural component of programming languages to support parallel programming. Previously we have proposed an elegant la...
121
click to vote
PARLE
1991
15 years 7 months ago
1991
We present a new programming language designed to allow the convenient expression of algorithms for a parallel random access machine (PRAM). The language attempts to satisfy two p...
120
click to vote
APSEC
2008
IEEE
15 years 5 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...