4311 search results - page 398 / 863 » Code Generation for Distributed Systems |
162
click to vote
WCRE
2000
IEEE
15 years 11 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
191
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we propose a theoretical framework for the analysis of the impact of ultra–wideband (UWB) interference on systems that use the popular combination of bit– in...
229
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
187
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
168
click to vote
IPPS
2006
IEEE
16 years 26 days ago
2006
IEEE
We present a novel technique to secure the execution of a processor against the execution of malicious code (trojans, viruses). The main idea is to permute parts of the opcode val...