Sciweavers

2075 search results - page 297 / 415
» aims 2007
Sort
View
SAMOS
2007
Springer
15 years 10 months ago
On the Problem of Minimizing Workload Execution Time in SMT Processors
Abstract—Most research work on (Simultaneous Multithreading Processors) SMTs focuses on improving throughput and/or fairness, or on prioritizing some threads over others in a wor...
Francisco J. Cazorla, Enrique Fernández, Pe...
SAMOS
2007
Springer
15 years 10 months ago
Towards Multi-application Workload Modeling in Sesame for System-Level Design Space Exploration
The Sesame modeling and simulation framework aims at early and thus efficient system-level design space exploration of embedded multimedia system architectures. So far, Sesame onl...
Mark Thompson, Andy D. Pimentel
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
15 years 10 months ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
SCIA
2007
Springer
129views Image Analysis» more  SCIA 2007»
15 years 10 months ago
Efficiently Capturing Object Contours for Non-Photorealistic Rendering
Non-photorealistic rendering (NPR) techniques aim to outline the shape of objects and reduce visual clutter such as shadows and inner texture edges. As the first phase result of ou...
Jiyoung Park, Juneho Yi
SEKE
2007
Springer
15 years 10 months ago
Requirement Analysis Evolution through Patterns
This paper presents a strategy, based on requirement patterns (RP), aimed at improving the requirement analysis discipline by allowing business analysts (BA) to produce more relia...
Luca Vetti Tagliati, Roger Johnson, George Roussos