Sciweavers

1986 search results - page 164 / 398
» constraints 2006
Sort
View
RTAS
2006
IEEE
14 years 1 months ago
Task Partitioning with Replication upon Heterogeneous Multiprocessor Systems
The heterogeneous multiprocessor task partitioning with replication problem involves determining a mapping of recurring tasks upon a set consisting of different processing units i...
Sathish Gopalakrishnan, Marco Caccamo
WCRE
2006
IEEE
14 years 1 months ago
Mining Control Flow Graphs for Crosscutting Concerns
Aspect mining tries to identify crosscutting concerns in existing systems and thus supports the adaption to an aspect-oriented design. This paper describes an automatic static asp...
Jens Krinke
AAIM
2006
Springer
222views Algorithms» more  AAIM 2006»
14 years 1 months ago
Connected Set Cover Problem and Its Applications
Abstract. We study an extension of the set cover problem, the connected set cover problem, the problem is to find a set cover of minimal size that satisfies some connectivity con...
Tianping Shuai, Xiao-Dong Hu
NORDICHI
2006
ACM
14 years 1 months ago
SpiraList: a compact visualization technique for one-handed interaction with large lists on mobile devices
This paper presents SpiraList, a focus+context visualization technique for interacting with large lists on handheld devices. SpiraList has been specifically designed to fit the co...
Stéphane Huot, Eric Lecolinet
AMAST
2006
Springer
13 years 11 months ago
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams
Abstract. In this paper we present the ITP/OCL tool, a rewritingbased tool that supports automatic validation of UML class diagrams with respect to OCL constraints. Its implementat...
Manuel Clavel, Marina Egea