1678 search results - page 87 / 336 » An ASM Specification of C |
164
click to vote
IFL
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
127
click to vote
APSEC
2004
IEEE
15 years 9 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
294
click to vote
C5
2004
IEEE
15 years 9 months ago
2004
IEEE
We describe a design for a collaborative Virtual Learning Environment (VLE) to support massively multi-user and multi-institutional learning communities. This architecture extends...
201
Voted
ENC
2004
IEEE
15 years 9 months ago
2004
IEEE
We present a hardware architecture for an Elliptic Curve Cryptography System performing the three basic cryptographic schemes: DH key generation, encryption and digital signature....
152
click to vote
CONCUR
2008
Springer
15 years 7 months ago
2008
Springer
We present the tool Sycraft (SYmboliC synthesizeR and Adder of Fault-Tolerance). In Sycraft, a distributed fault-intolerant program is specified in terms of a set of processes and ...