12333 search results - page 513 / 2467 » System Level Modelling for Hardware Software Systems |
179
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
We present a supervised classification model based on a variational approach. This model is specifically devoted to textured images. We want to get a partition of an image, compos...
197
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Multiprocessor System on Chip (MPSoC) architecture is rapidly gaining momentum for modern embedded devices. The vulnerabilities in software on MPSoCs are often exploited to caus...
185
click to vote
ISCA
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper develops and validates an analytical model for evaluating various types of architectural alternatives for shared-memory systems with processors that aggressively exploi...
169
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...
224
click to vote
OOPSLA
2005
Springer
16 years 13 days ago
2005
Springer
Code clones in software increase maintenance cost and lower software quality. We have devised a new algorithm to detect duplicated parts of source code in large software. Our algo...