8874 search results - page 1608 / 1775 » A New Implementation of Automath |
136
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformati...
132
click to vote
POPL
2009
ACM
15 years 11 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
152
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Many general-purpose, object-oriented scripting languages are dynamically typed, to keep the language flexible and not reject any programs unnecessarily. However, dynamic typing ...
164
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents a new distributed computing framework for Many Task Computing (MTC) applications, based on the Extensible Messaging and Presence Protocol (XMPP). A lightweight...
132
click to vote
SENSYS
2009
ACM
15 years 11 months ago
2009
ACM
Having access to an accurate time is a vital building block in all networks; in wireless sensor networks even more so, because wireless media access or data fusion may depend on i...