3579 search results - page 435 / 716 » Transformations of software models into performance models |
176
click to vote
EUROMICRO
2000
IEEE
15 years 11 months ago
2000
IEEE
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...
154
click to vote
HIPEAC
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. This paper presents remote store programming (RSP), a programming paradigm which combines usability and efficiency through the exploitation of a simple hardware mechanism...
170
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Modeling and quantifying different human factors continue to be one of the major challenges in introducing new biometric systems. For example, drivers of some of our behavior diï...
165
click to vote
FORMATS
2009
Springer
16 years 1 months ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
147
click to vote
VSTTE
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...