2452 search results - page 384 / 491 » On Reduction of Lagrange Systems |
129
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
130
Voted
DCC
2009
IEEE
15 years 11 months ago
2009
IEEE
For mobile image matching applications, a mobile device captures a query image, extracts descriptive features, and transmits these features wirelessly to a server. The server reco...
100
Voted
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Self-healing gradients are distributed estimates of the distance from each device in a network to the nearest device designated as a source, and are used in many pervasive computi...
143
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper, we propose a novel, energy aware scheduling algorithm for applications running on DVS-enabled multiprocessor systems, which exploits variation in execution times...
123
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
- In this paper we introduce Priority Based Forced Requeue to decrease worst-case latencies in NoCs offering best effort services. Forced Requeue is to prematurely lift out low pri...