391 search results - page 46 / 79 » Code Improvements for Model Elimination Based Reasoning Syst... |
CODES
2006
IEEE
14 years 4 months ago
2006
IEEE
Virtual platform (ViP), or ESL (Electronic System Level) simulation model, is one of the most widely renowned system level design techniques. In this paper, we present a case stud...
SEKE
2005
Springer
14 years 3 months ago
2005
Springer
Most design recovery approaches start from analysing source code. Nonetheless, it is very difficult to get adequate design information only depending on source code. Additional av...
ICSM
2009
IEEE
14 years 4 months ago
2009
IEEE
The paper proposes a new measure for the cohesion of classes in Object-Oriented software systems. It is based on the analysis of latent topics embedded in comments and identifiers...
AI
2004
Springer
13 years 10 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
WSC
1997
13 years 11 months ago
1997
Distributed discrete event simulation techniques aim at an acceleration of the execution of a self-contained simulation model by the spatial decomposition of that model and the co...