1173 search results - page 148 / 235 » Program Derivation Using Analogy |
111
Voted
SCCC
1998
IEEE
15 years 6 months ago
1998
IEEE
Software architectural design is essential for complex distributed applications. Architectural specifications need to define the key aspects of the application, including its inte...
167
click to vote
CASES
2007
ACM
15 years 6 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
128
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
The knowledge of channel statistics can be very helpful in making sound opportunistic spectrum access decisions. It is therefore desirable to be able to efficiently and accurately...
136
click to vote
NGC
1998
Springer
15 years 2 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
FM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...