142 search results - page 26 / 29 » Processor Memory Co-Exploration on Multiple Abstraction Leve... |
79
Voted
ESOP
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
COMPUTER
2002
14 years 9 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...
ENTCS
2002
14 years 9 months ago
2002
Abstract: Alias analysis for Fortran is less complicated than for programming languages with pointers but many real Fortran programs violate the standard: a formal parameter or a c...
IPPS
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--A hybrid MPI/Pthreads parallelization was implemented in the RAxML phylogenetics code. New MPI code was added to the existing Pthreads production code to exploit parallel...
104
click to vote
OOPSLA
2010
Springer
14 years 7 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...