4311 search results - page 195 / 863 » Code Generation for Distributed Systems |
113
click to vote
ECBS
2008
IEEE
15 years 8 months ago
2008
IEEE
Models are widely used for communication and documentation purposes. They also tend to be used as parameters for code generation. Because these models have to be complete, consist...
100
click to vote
COMPSEC
2010
14 years 11 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
137
click to vote
SAC
2003
ACM
15 years 7 months ago
2003
ACM
We present a distributed framework that enables real-time streaming and visualization of data generated by large remote simulations. We address issues arising from distributed cli...
112
click to vote
ISHPC
2003
Springer
15 years 7 months ago
2003
Springer
We developed a multithreaded parallel implementation of a sequence alignment algorithm that is able to align whole genomes with reliable output and reasonable cost. This paper pres...
114
click to vote
EUROPAR
2000
Springer
15 years 6 months ago
2000
Springer
Abstract This paper examines the behavior of current and next generation microprocessors' fetch engines while running Decision Support Systems (DSS) workloads. We analyze the ...