5550 search results - page 236 / 1110 » Different Approaches to Proof Systems |
179
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
We present a co-simulation environment for multiprocessor architectures, that is based on SystemC and allows a transparent integration of instruction set simulators (ISSs) within ...
183
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
197
click to vote
ICMCS
2000
IEEE
15 years 11 months ago
2000
IEEE
A Joint source-channel coding (JSCC) scheme for SPIHT coded image transmission over OFDM systems with spatial diversity is proposed where no feedback channel is available. By usin...
195
click to vote
IJAOSE
2008
15 years 6 months ago
2008
: Multiagent Systems (MAS) are open, heterogeneous and distributed software systems of autonomous agents. The management of exception differs in MAS from what is known in usual eng...
166
click to vote
ICAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Recent years have seen a growing interest in autonomic computing, an approach to providing systems with self managing properties [1]. Autonomic computing aims to address the incre...