1003 search results - page 174 / 201 » How to Parallelize Sequential Processes |
MEMOCODE
2007
IEEE
14 years 3 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
CONCUR
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. When dealing with process calculi and automata which express both nondeterministic and probabilistic behavior, it is customary to introduce the notion of scheduler to res...
CTRSA
2007
Springer
14 years 3 months ago
2007
Springer
FORK-256 is a hash function presented at FSE 2006. Whereas SHA-like designs process messages in one stream, FORK-256 uses four parallel streams for hashing. In this article, we pre...
ESCIENCE
2006
IEEE
14 years 3 months ago
2006
IEEE
Numerous Grid workflow engines exist, each generally specialized for a single application domain such as protein folding. Although the underlying purpose and functionality of the ...
NSPW
2004
ACM
14 years 3 months ago
2004
ACM
Agile development methodologies are gaining acceptance in the software industry. If they are to be used for constructing securitycritical solutions, what do we do about assurance?...