Sciweavers

4476 search results - page 635 / 896
» A flexible framework for engineering
Sort
View
CGO
2008
IEEE
15 years 8 months ago
Comprehensive path-sensitive data-flow analysis
Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex c...
Aditya V. Thakur, R. Govindarajan
TASE
2008
IEEE
15 years 6 months ago
New Hybrid Optimization Algorithms for Machine Scheduling Problems
Dynamic programming, branch-and-bound, and constraint programming are the standard solution principles for nding optimal solutions to machine scheduling problems. We propose a new ...
Yunpeng Pan, Leyuan Shi
ATAL
2009
Springer
16 years 1 months ago
Altruism and agents: an argumentation based approach to designing agent decision mechanisms
We present an argument-based qualitative decision-making framework in which the social values promoted or demoted by alternative action-options are explicitly represented. We show...
Trevor J. M. Bench-Capon, Katie Atkinson, Peter Mc...
SIGCOMM
2009
ACM
16 years 1 months ago
Self management of a mobile thin client service
Mobile thin client computing is an enabler for the execution of demanding applications from mobile handhelds. In thin client computing, the application is executed on remote serve...
Lien Deboosere, Bert Vankeirsbilck, Pieter Simoens...
COMSWARE
2006
IEEE
16 years 21 days ago
Remote storage for mobile devices
— The ability to access remote file storage from mobile devices enables a number of new use cases for storing and sharing data. We describe the design and implementation of a Rem...
Jarkko Tolvanen, Tapio Suihko, Jaakko Lipasti, N. ...