1895 search results - page 128 / 379 » Modular Functional Descriptions |
CEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract- A new algorithm is presented for evolving Binary Decision Diagrams (BDD) that employs the neutrality implicit in the BDD representation. It is shown that an effortless ne...
HASE
2005
IEEE
14 years 1 months ago
2005
IEEE
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...
TPHOL
2005
IEEE
14 years 1 months ago
2005
IEEE
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
PEPM
2004
ACM
14 years 1 months ago
2004
ACM
We propose a new algorithm for fusion transformation that allows both stacks and accumulating parameters. The new algorithm can fuse programs that cannot be handled by existing fu...
COMPSAC
2002
IEEE
14 years 27 days ago
2002
IEEE
On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a...