Sciweavers

3605 search results - page 484 / 721
» System and simulation modeling using SysML
Sort
View
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
16 years 1 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
WSDM
2012
ACM
295views Data Mining» more  WSDM 2012»
13 years 12 months ago
A straw shows which way the wind blows: ranking potentially popular items from early votes
Prediction of popular items in online content sharing systems has recently attracted a lot of attention due to the tremendous need of users and its commercial values. Different fr...
Peifeng Yin, Ping Luo, Min Wang, Wang-Chien Lee
ITICSE
2006
ACM
15 years 10 months ago
WADEIn II: a case for adaptive explanatory visualization
Adaptive explanatory visualization is an attempt to integrate two promising approaches to program visualization: adaptive visualization and explanatory visualization. The goal of ...
Peter Brusilovsky, Tomasz D. Loboda
ATAL
2006
Springer
15 years 8 months ago
A comparison between mechanisms for sequential compute resource auctions
This paper describes simulations designed to test the relative efficiency of two different sequential auction mechanisms for allocating compute resources between users in a shared...
Andrew Byde
WSC
2007
15 years 6 months ago
A public health application of data analysis for homeland security
This presentation follows up the talk last year to WINFORMS (The Washington Institute for Operations Research and The Management Sciences) in which an approach developed for the a...
Marjorie Greene, Robert Eek