562 search results - page 86 / 113 » Software Design Metrics for Object-Oriented Software |
DAC
1995
ACM
14 years 23 days ago
1995
ACM
- We introduce a transformation, named rephasing, that manipulates the timing parameters in control-dataflow graphs. Traditionally high-level synthesis systems for DSP have either ...
EUROMICRO
2007
IEEE
14 years 3 months ago
2007
IEEE
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
VSTTE
2010
Springer
13 years 7 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
IPPS
2009
IEEE
14 years 3 months ago
2009
IEEE
BOINC is a platform for volunteer computing. The server component of BOINC embodies a number of scheduling policies and parameters that have a large impact on the projects through...
CASES
2001
ACM
14 years 25 days ago
2001
ACM
Energy consumption is a crucial factor in designing batteryoperated embedded and mobile systems. The memory system is a major contributor to the system energy in such environments...