3579 search results - page 609 / 716 » Transformations of software models into performance models |
135
click to vote
AMAST
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Algebraic compilers provide a powerful and convenient mechanism for specifying language translators. With each source language operation one associates a computation for ...
135
Voted
CSMR
1999
IEEE
15 years 8 months ago
1999
IEEE
Maintenance activities are made more difficult when pointers are heavily used in source code: the programmer needs to build a mental model of memory locations and of the way they ...
131
click to vote
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
125
click to vote
HIPEAC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper describes Sunflower, a full-system microarchitectural evaluation environment for embedded computing systems. The environment enables detailed microarchitectura...
135
Voted
DICS
2006
15 years 7 months ago
2006
Dynamic Parallel Schedules (DPS) is a flow graph based framework for developing parallel applications on clusters of workstations. The DPS flow graph execution model enables automa...