12333 search results - page 345 / 2467 » System Level Modelling for Hardware Software Systems |
189
click to vote
ECBS
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
160
click to vote
COMPSAC
2006
IEEE
16 years 23 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
141
click to vote
ISCA
2006
IEEE
16 years 22 days ago
2006
IEEE
One of the key challenges for high-density servers (e.g., blades) is the increased costs in addressing the power and heat density associated with compaction. Prior approaches have...
169
click to vote
EAAI
2008
15 years 6 months ago
2008
Fault tolerant measurements are an essential requirement for system identification, control and protection. Measurements can be corrupted or interrupted due to sensor failure, bro...
148
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— In recent years business-to-business (B2B) ecommerce has been subject to major rethinking. A paradigm shift from document centric file-based interchange of business in...