Sciweavers

2342 search results - page 369 / 469
» A Methodology for Evaluating Software Engineering Methods an...
Sort
View
TACAS
2010
Springer
210views Algorithms» more  TACAS 2010»
14 years 4 months ago
Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
Alastair F. Donaldson, Daniel Kroening, Philipp R&...
TASLP
2011
13 years 4 months ago
Tempo Detection Using a Hybrid Multiband Approach
—In this paper, a novel tempo detection system is presented, which suggests the use of a hybrid multiband decomposition. The model tracks the periodicities of different signal pr...
Mikel Gainza, Eugene Coyle
CADE
2005
Springer
14 years 9 months ago
Privacy-Sensitive Information Flow with JML
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...
Guillaume Dufay, Amy P. Felty, Stan Matwin
GREC
2009
Springer
14 years 1 months ago
Human Perception in Segmentation of Sketches
In this paper, we study the segmentation of sketched engineering drawings into a set of straight and curved segments. Our immediate objective is to produce a benchmarking method fo...
Pedro Company, P. A. C. Varley, Ana Piquer Vicent,...
VL
2008
IEEE
171views Visual Languages» more  VL 2008»
14 years 3 months ago
Usability challenges for enterprise service-oriented architecture APIs
An important part of many programming tasks is the use of libraries and other forms of Application Programming Interfaces (APIs). Programming via web services using a Service-Orie...
Jack Beaton, Sae Young Jeong, Yingyu Xie, Jeffrey ...