2357 search results - page 359 / 472 » Computing Refactorings of Behavior Models |
156
Voted
CODES
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...
135
Voted
ASC
2008
15 years 2 months ago
2008
Most data mining algorithms assume static behavior of the incoming data. In the real world, the situation is different and most continuously collected data streams are generated by...
134
click to vote
TCAD
2008
15 years 2 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
152
Voted
SIGMETRICS
2011
ACM
14 years 5 months ago
2011
ACM
Cloud computing, social networking and information networks (for search, news feeds, etc) are driving interest in the deployment of large data centers. TCP is the dominant Layer 3...
151
Voted
3DIM
2007
IEEE
15 years 9 months ago
2007
IEEE
The ICP (Iterative Closest Point) algorithm is the de facto standard for geometric alignment of threedimensional models when an initial relative pose estimate is available. The ba...