2171 search results - page 15 / 435 » A Generic Process Algebra |
SFP
2004
13 years 9 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
AISC
1994
Springer
14 years 17 days ago
1994
Springer
This paper investigates some soundness conditions which have to be fulfilled in systems with coercions and generic operators. A result of Reynolds on unrestricted generic operators...
FECS
2006
13 years 10 months ago
2006
- We present a generic academic program assessment methodology and process encompassing and unifying the outcome-driven approach of accreditation agencies, such as ABET/CAC, with t...
PDPTA
2007
13 years 10 months ago
2007
- In this paper, we study the algorithm design aspects of three newly developed spin-wave architectures. The architectures are capable of simultaneously transmitting multiple signa...
ICDE
1999
IEEE
14 years 9 months ago
1999
IEEE
