Sciweavers

468 search results - page 45 / 94
» Development of an Ecological Decision Support System
Sort
View
CSMR
2010
IEEE
14 years 6 months ago
InCode: Continuous Quality Assessment and Improvement
While significant progress has been made over the last ten years in the research field of quality assessment, developers still can't take full advantage of the benefits of the...
Radu Marinescu, George Ganea, Ioana Verebi
ISPASS
2010
IEEE
15 years 6 months ago
Hardware prediction of OS run-length for fine-grained resource customization
—In the past ten years, computer architecture has seen a paradigm shift from emphasizing single thread performance to energy efficient, throughput oriented, chip multiprocessors...
David Nellans, Kshitij Sudan, Rajeev Balasubramoni...
ECBS
1996
IEEE
93views Hardware» more  ECBS 1996»
15 years 4 months ago
A Methodology for Designing and Dimensioning Critical Complex Computing Systems
It is widely recognized that real-time,fault-tolerant and distributed computing technologies play a key role in the deployment of many current andfuture (civilian or Defense) crit...
Gérard Le Lann
ITP
2010
172views Mathematics» more  ITP 2010»
14 years 10 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
CASDMKM
2004
Springer
131views Data Mining» more  CASDMKM 2004»
15 years 5 months ago
XML-Based Schemes for Business Project Portfolio Selection
Abstract. Many methodologies have been introduced to deal with project portfolio selection problem including some techniques that help to evaluate individual projects, or to select...
Jichang Dong, Kin Keung Lai, Shouyang Wang