6704 search results - page 569 / 1341 » Testing Scenario-Based Models |
191
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper demonstrates that the algorithmic performance of end user programs may be greatly affected by the two or three level caching scheme of the processor, and we introduc...
192
click to vote
LCTRTS
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
221
click to vote
PACT
2005
Springer
16 years 18 days ago
2005
Springer
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
230
click to vote
EGC
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Grid technology is widely emerging as a solution for wide-spread applicability of computerized analysis and processing procedures in biomedical sciences. In this paper we...
161
click to vote
SPIN
2004
Springer
16 years 14 days ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...