8874 search results - page 87 / 1775 » A New Implementation of Automath |
130
Voted
IIE
2007
15 years 3 months ago
2007
Two years ago the Faculty of Mathematics and Informatics at Sofia University makes a decision to design a new series of Logo-based courses which make use of the modern technology....
178
Voted
CASES
2010
ACM
15 years 1 months ago
2010
ACM
The Advanced Encryption Standard is used in almost every new embedded application that needs a symmetric-key cipher. In such embedded applications, high-performance as well as res...
109
Voted
ECIS
2001
15 years 5 months ago
2001
Most modern organizations have implemented intranets for communication within the organization itself. Recently drastic changes have occurred on the supply side of the technology ...
108
Voted
IMSCCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Grid computing provides new solutions for numerous complex problems. It is an inevitable trend to implement the distributed parallel computing of large-scale problems with the gri...
108
Voted
IPPS
1997
IEEE
15 years 7 months ago
1997
IEEE
This paper describes the design and implementation of the virtual memory-mapped communicationmodel (VMMC) on a Myrinet network of PCI-based PCs. VMMC has been designed and impleme...