12333 search results - page 2061 / 2467 » System Level Modelling for Hardware Software Systems |
184
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
161
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Modeling system performance and workload characteristics has become essential for efficiently provisioning Internet services and for accurately predicting future resource requirem...
235
click to vote
MTA
2011
15 years 1 months ago
2011
Research on methods for detection and recognition of events and actions in videos is receiving an increasing attention from the scientific community, because of its relevance for ...
221
click to vote
TR
2010
15 years 1 months ago
2010
Abstract--The development of accurate health condition prediction approaches has been a key research topic in condition based maintenance (CBM) in recent years. However, current he...
143
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
—To overcome the energy-efficiency limitations imposed by finite sub-threshold slope in CMOS transistors, this paper explores the design of integrated circuits based on nanoelect...