12333 search results - page 479 / 2467 » System Level Modelling for Hardware Software Systems |
184
click to vote
CAMP
2005
IEEE
16 years 16 days ago
2005
IEEE
Abstract— The promise of next-generation computer technologies, such as nano-electronics, implies a number of serious alterations to the design flow of digital circuits. One of ...
186
click to vote
ICESS
2004
Springer
16 years 9 days ago
2004
Springer
In this paper we present a new modeling technique using software engineering tool Flow Model for modeling and solving the Dynamic Power Management (DPM) with complex behavioral cha...
183
click to vote
ASE
2008
15 years 7 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
166
click to vote
FSTTCS
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
184
click to vote
CAISE
2003
Springer
16 years 4 days ago
2003
Springer
We propose a kind of agent called probe-agent, which is responsible to collect and monitor the data and information according to its goals. On the other hand, it can summarize the ...