12333 search results - page 454 / 2467 » System Level Modelling for Hardware Software Systems |
261
Voted
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
185
Voted
LREC
2010
15 years 8 months ago
2010
In this paper, we report on a study that was performed within the "Semantics of History" project on how descriptions of historical events are realized in different types...
174
Voted
ISCAS
2006
IEEE
16 years 27 days ago
2006
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
150
click to vote
EDOC
2006
IEEE
16 years 28 days ago
2006
IEEE
At present, with the expansion of information technologies at the industry, it is vital to implant proactive, self-managed systems that ensure continuous operation and, therefore,...
168
click to vote
ASWEC
2007
IEEE
15 years 11 months ago
2007
IEEE
It is widely accepted that coupling plays an important role in software quality, particularly in the areas of software maintenance, so effort should be made to keep coupling level...