793 search results - page 103 / 159 » Argumentation and standards of proof |
PVM
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. An MPI profiling library is a standard mechanism for intercepting MPI calls by applications. Profiling libraries are so named because they are commonly used to gather p...
CRYPTO
2004
Springer
14 years 4 months ago
2004
Springer
In the bare public-key model (BPK in short), each verifier is assumed to have deposited a public key in a file that is accessible by all users at all times. In this model, intro...
ARITH
1997
IEEE
14 years 3 months ago
1997
IEEE
Engineering design methodology recommends designing a system as follows: Start with an unambiguous speci cation, partition the system into blocks, specify the functionality of eac...
IFL
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
ISCAS
1994
IEEE
14 years 3 months ago
1994
IEEE
The Switched-Current SI technique is a circuit method that enables analog sampled-data circuits to be realized with a standard digital CMOS process. At this time it is fair to say...