Sciweavers

2180 search results - page 101 / 436
» Performance analysis of concurrent systems with early evalua...
Sort
View
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
16 years 3 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...
HICSS
2003
IEEE
202views Biometrics» more  HICSS 2003»
15 years 11 months ago
Automated Coaching of Collaboration Based on Workspace Analysis: Evaluation and Implications for Future Learning Environments
This paper describes the design and evaluation of COLER, a computer mediated learning environment that includes a software coach to help students collaborate while solving Entity ...
María de los Angeles Constantino-Gonz&aacut...
ISSTA
2006
ACM
16 years 9 days ago
Towards supporting the architecture design process through evaluation of design alternatives
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
Lihua Xu, Scott A. Hendrickson, Eric Hettwer, Hada...
NOSSDAV
1991
Springer
15 years 10 months ago
Kernel Support for Live Digital Audio and Video
: We have developed a real-time operating system kernel which has been used to support the transmission and reception of streams of live digital audio and video in real-time as par...
Kevin Jeffay, Donald L. Stone, F. Donelson Smith
SOSP
1997
ACM
15 years 7 months ago
Agile Application-Aware Adaptation for Mobility
In this paper we show that application-aware adaptation, a collaborative partnership between the operating system and applications, offers the most general and effective approach ...
Brian Noble, Mahadev Satyanarayanan, Dushyanth Nar...