Sciweavers

2061 search results - page 222 / 413
» The continuous knapsack set
Sort
View
EWSPT
2003
Springer
15 years 9 months ago
Lessons Learned and Recommendations from Two Large Norwegian SPI Programmes
: Software development is an experimental discipline, i.e. somewhat unpredictable. This suggests that software processes improvement should be based on the continuous iteration of ...
Reidar Conradi, Tore Dybå, Dag I. K. Sj&osla...
GCB
2003
Springer
82views Biometrics» more  GCB 2003»
15 years 9 months ago
Threshold extraction in metabolite concentration data
The further development of analytical techniques based on gas chromatography and mass spectrometry now facilitate the generation of larger sets of metabolite concentration data. T...
André Flöter, Jacques Nicolas, Torsten...
IPSN
2003
Springer
15 years 9 months ago
Sentry-Based Power Management in Wireless Sensor Networks
This paper presents a sentry-based approach to power management in wireless sensor networks for applications such as intruder detection and tracking. To minimize average power cons...
Jonathan Hui, Zhiyuan Ren, Bruce H. Krogh
FM
2001
Springer
108views Formal Methods» more  FM 2001»
15 years 8 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer
150
Voted
HPCA
2000
IEEE
15 years 8 months ago
Modified LRU Policies for Improving Second-Level Cache Behavior
Main memory accesses continue to be a significant bottleneck for applications whose working sets do not fit in second-level caches. With the trend of greater associativity in seco...
Wayne A. Wong, Jean-Loup Baer