Sciweavers

2278 search results - page 341 / 456
» Specification Techniques for Automatic Performance Analysis ...
Sort
View
ICSE
2007
IEEE-ACM
15 years 11 months ago
Path-Sensitive Inference of Function Precedence Protocols
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...
Murali Krishna Ramanathan, Ananth Grama, Suresh Ja...
ERCIMDL
2007
Springer
85views Education» more  ERCIMDL 2007»
15 years 5 months ago
Supporting Information Management in Digital Libraries with Map-Based Interfaces
—The Self-Organising Map (SOM) has been proposed as an alternative interface for exploring Digital Libraries (DL), in addition to conventional search and browsing. With advanced ...
Rudolf Mayer, Angela Roiger, Andreas Rauber
KBSE
2006
IEEE
15 years 5 months ago
ArchTrace: Policy-Based Support for Managing Evolving Architecture-to-Implementation Traceability Links
Traditional techniques of traceability detection and management are not equipped to handle evolution. This is a problem for the field of software architecture, where it is critica...
Leonardo Gresta Paulino Murta, André van de...
ICCSA
2004
Springer
15 years 5 months ago
Speculative Parallelization of a Randomized Incremental Convex Hull Algorithm
Finding the fastest algorithm to solve a problem is one of the main issues in Computational Geometry. Focusing only on worst case analysis or asymptotic computations leads to the d...
Marcelo H. Cintra, Diego R. Llanos Ferraris, Bel&e...
UIST
2003
ACM
15 years 4 months ago
Perceptually-supported image editing of text and graphics
This paper presents a novel image editing program emphasizing easy selection and manipulation of material found in informal, casual documentssuch as sketches, handwrittennotes, wh...
Eric Saund, David J. Fleet, Daniel Larner, James M...