8874 search results - page 257 / 1775 » A New Implementation of Automath |
147
click to vote
JPDC
2000
15 years 4 months ago
2000
The virtual synchrony model for group communication has proven to be a powerful paradigm for building distributed applications. Implementations of virtual synchrony usually requir...
169
click to vote
FGCS
2002
15 years 4 months ago
2002
Initial versions of MPI were designed to work efficiently on multi-processors which had very little job control and thus static process models. Subsequently forcing them to suppor...
158
click to vote
SEUS
2009
IEEE
15 years 11 months ago
2009
IEEE
Many special-purpose embedded systems such as automobiles and aircrafts consist of multiple embedded controllers connected through embedded network interconnects. Such network inte...
111
click to vote
CC
2007
Springer
15 years 11 months ago
2007
Springer
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...
129
click to vote
ISMIR
2004
Springer
15 years 10 months ago
2004
Springer
The software sound synthesis is closely related to the Music N programs started with Music I in 1957. Although Music N has many advantages such as unit generators and a flexible ...