1878 search results - page 61 / 376 » Efficient Performance Models in Component-Based Software Eng... |
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
146
Voted
ICDCS
2002
IEEE
15 years 7 months ago
2002
IEEE
Attainment of software performance assurances in open, largely unpredictable environments has recently become an important focus for real-time research. Unlike closed embedded sys...
141
click to vote
KDD
2007
ACM
16 years 3 months ago
2007
ACM
Studies have shown that program comprehension takes up to 45% of software development costs. Such high costs are caused by the lack-of documented specification and further aggrava...
120
Voted
TASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
119
click to vote
CODES
2009
IEEE
15 years 6 months ago
2009
IEEE
In this paper, we propose an effective automatic generation approach for a Cycle-Count Accurate Memory Model (CCAMM) from the Clocked Finite State Machine (CFSM) of the Cycle Accu...