Sciweavers

1007 search results - page 90 / 202
» An Empirical Study of the Coolstreaming System
Sort
View
HICSS
2009
IEEE
112views Biometrics» more  HICSS 2009»
15 years 8 months ago
Optimal Pumping Schedule and Salinity Control in a Coastal Aquifer: a Decision Support System
Proper management of coastal wells is important in order to satisfy demand, minimize costs, control salinity increase, and ultimately to define water resource strategies which are...
T. Ka'eo Duarte, Riccardo Minciardi, Michela Robba...
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
15 years 8 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
HICSS
2006
IEEE
101views Biometrics» more  HICSS 2006»
15 years 7 months ago
IT Projects: Conflict, Governance, and Systems Thinking
Triggered by several embarrassing (and costly) IT project collapses in New Zealand’s public sector, a government report found that effective project control required good govern...
David Johnstone, Sid L. Huff, Beverley G. Hope
SIGMETRICS
2004
ACM
106views Hardware» more  SIGMETRICS 2004»
15 years 7 months ago
Performance analysis of BSTs in system software
Binary search tree (BST) based data structures, such as AVL trees, red-black trees, and splay trees, are often used in system software, such as operating system kernels. Choosing ...
Ben Pfaff
CAV
2004
Springer
202views Hardware» more  CAV 2004»
15 years 7 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha