4166 search results - page 325 / 834 » Automating the constraining process |
166
Voted
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. This pearl examines how to verify functional programs written using the state monad. It uses Coq’s Program framework to provide strong specifications for the standard ...
108
Voted
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
A concept of linearly graded statistical models for analogue performance evaluation is proposed and a suitable technique for automatic generation of analogue performance models us...
136
click to vote
DANCE
2002
IEEE
15 years 9 months ago
2002
IEEE
1 This paper describes a framework for application deployment within virtual networks using X-Bone. The framework supports deployment of arbitrary applications and allows users to...
114
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
:Artificial neural networks(ANN) have been used successfully in applications such as pattern recognition, image processing, automation and control. Majority of today's applica...
124
Voted
MICAI
2000
Springer
15 years 8 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...