1304 search results - page 106 / 261 » RTOS Modeling for System Level Design |
157
click to vote
SDL
2003
15 years 5 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
177
click to vote
DSVIS
1998
Springer
15 years 8 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
149
click to vote
COLING
2010
14 years 11 months ago
2010
In this paper the development of an opinion summarization system that works on Bengali News corpus has been described. The system identifies the sentiment information in each docu...
192
click to vote
HPCA
2003
IEEE
16 years 4 months ago
2003
IEEE
As the level of chip integration continues to advance at a fast pace, the desire for efficient interconnects-whether on-chip or off-chip--is rapidly increasing. Traditional interc...
141
click to vote
FTEDA
2006
15 years 4 months ago
2006
As IC technologies scale to finer feature sizes, it becomes increasingly difficult to control the relative process variations. The increasing fluctuations in manufacturing process...