1855 search results - page 50 / 371 » Composing model programs for analysis |
135
click to vote
PLDI
1997
ACM
15 years 6 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
134
Voted
DAC
2004
ACM
16 years 3 months ago
2004
ACM
ion of Assembler Programs for Symbolic Worst Case Execution Time Analysis Tobias Schuele Tobias.Schuele@informatik.uni-kl.de Klaus Schneider Klaus.Schneider@informatik.uni-kl.de Re...
115
click to vote
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
164
click to vote
ICSE
1998
IEEE-ACM
15 years 6 months ago
1998
IEEE-ACM
The COCOMO II model was created to meet the need for a cost model that accounted for future software development practices. This resulted in the formulation of three submodels for...
125
click to vote
HPCA
2011
IEEE
14 years 6 months ago
2011
IEEE
Composable multicore systems merge multiple independent cores for running sequential single-threaded workloads. The performance scalability of these systems, however, is limited d...