24 search results - page 4 / 5 » Integrating Abstract Caches with Symbolic Pipeline Analysis |
EMSOFT
2006
Springer
14 years 19 days ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
IEAAIE
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Human-Artifact interaction in real world situations is currently an active area of research due to the importance foreseen of the social capabilities of near future robot...
BMCBI
2007
13 years 8 months ago
2007
Background: There are many fewer genes in the human genome than there are expressed transcripts. Alternative splicing is the reason. Alternatively spliced transcripts are often sp...
MIAR
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract. Surface-based morphometry (SBM) is widely used in biomedical imaging and other domains to localize shape changes related to different conditions. This paper presents a co...
HIPEAC
2009
Springer
14 years 25 days ago
2009
Springer
Abstract. On multi-core architectures with software-managed memories, effectively orchestrating data movement is essential to performance, but is tedious and error-prone. In this p...