12333 search results - page 719 / 2467 » System Level Modelling for Hardware Software Systems |
179
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
A major challenge in realizing core-based system chips is the adoption and design-in of adequate test and diagnosis strategies. This tutorial paper discusses the specific challeng...
227
click to vote
ICDCS
2002
IEEE
16 years 11 days ago
2002
IEEE
We focus on an important problem in the space of ubiquitous computing, namely, programming support for the distributed heterogeneous computing elements that make up this environme...
200
click to vote
SOFTWARE
2002
15 years 7 months ago
2002
certain kinds of abstraction that modern operating systems generally include and seek a design that maps directly onto the features that modern hardware implementations provide; ve...
217
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
200
click to vote
CSMR
2008
IEEE
16 years 1 months ago
2008
IEEE
Effort to evolve and maintain a software system is likely to vary depending on the amount and frequency of change requests. This paper proposes to model change requests as time se...