3507 search results - page 74 / 702 » Slicing for architectural analysis |
113
click to vote
AINA
2006
IEEE
15 years 6 months ago
2006
IEEE
Performance analysis of agent network topologies helps multi-agent system developers to understand the impact of topology on system efficiency and effectiveness. Appropriate topol...
116
click to vote
ICSEA
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
106
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
124
click to vote
ASAP
2000
IEEE
15 years 5 months ago
2000
IEEE
Sorting long sequences of keys is a problem that occurs in many different applications. For embedded systems, a uniprocessor software solution is often not applicable due to the l...
125
click to vote
ASAP
2006
IEEE
15 years 4 months ago
2006
IEEE
Low Density Parity Check (LDPC) codes are one of the best error correcting codes that enable the future generations of wireless devices to achieve higher data rates. This paper pr...