3436 search results - page 401 / 688 » Software Tools for Performance Modeling of Parallel Programs |
144
click to vote
KBSE
2002
IEEE
15 years 7 months ago
2002
IEEE
GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are ref...
102
Voted
DAC
1994
ACM
15 years 6 months ago
1994
ACM
-- In this paper, a tool to aid pipelined processor instruction set implementation is described. The purpose of the tool is to choose from among design alternatives a design that m...
147
click to vote
SIES
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
120
Voted
COORDINATION
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
109
Voted
LCPC
1991
Springer
15 years 6 months ago
1991
Springer
The dependence ow graph is a novel intermediate representation for optimizingand parallelizing compilersthat can be viewed as an executable representation of program dependences. ...