Sciweavers

3747 search results - page 246 / 750
» Active Operations on Collections
Sort
View
CBMS
2006
IEEE
14 years 3 months ago
Machine Learning Techniques to Enable Closed-Loop Control in Anesthesia
The growing availability of high throughput measurement devices in the operating room makes possible the collection of a huge amount of data about the state of the patient and the...
Olivier Caelen, Gianluca Bontempi, Eddy Coussaert,...
MSS
2005
IEEE
138views Hardware» more  MSS 2005»
14 years 2 months ago
EOSDIS Petabyte Archives: Tenth Anniversary
One of the world’s largest scientific data systems, NASA’s Earth Observing System Data and Information System (EOSDIS) has stored over three petabytes of earth science data in...
Jeanne Behnke, Tonjua Hines Watts, Ben Kobler, Daw...
SC
2005
ACM
14 years 2 months ago
Transformations to Parallel Codes for Communication-Computation Overlap
This paper presents program transformations directed toward improving communication-computation overlap in parallel programs that use MPI’s collective operations. Our transforma...
Anthony Danalis, Ki-Yong Kim, Lori L. Pollock, D. ...
CALCO
2005
Springer
105views Mathematics» more  CALCO 2005»
14 years 2 months ago
Bisimilarity Is Not Finitely Based over BPA with Interrupt
This paper shows that bisimulation equivalence does not afford a finite equational axiomatization over the language obtained by enriching Bergstra and Klop’s Basic Process Alge...
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...
ICALP
2004
Springer
14 years 2 months ago
Group Spreading: A Protocol for Provably Secure Distributed Name Service
In order to enable communication between a dynamic collection of peers with given ID’s, such as “machine.cs.school.edu”, over the Internet, a distributed name service must b...
Baruch Awerbuch, Christian Scheideler