12333 search results - page 214 / 2467 » System Level Modelling for Hardware Software Systems |
160
click to vote
JAIR
2008
15 years 6 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
198
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
146
click to vote
CEC
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper presents two variants of Genetic Programming (GP) approaches for intelligent online performance monitoring of electronic circuits and systems. Reliability modeling of el...
155
click to vote
DATE
2006
IEEE
16 years 16 days ago
2006
IEEE
transistors the design of the SoC needs to be moved to a higher level of abstraction. We need to think in processors and interconnects rather than gates and wires. We discuss the n...
210
click to vote
ANSS
2008
IEEE
16 years 29 days ago
2008
IEEE
Efficient job scheduling in grids is challenging due to the large number of distributed autonomous resources. In this paper we study various resource allocation policies in a 2-le...