Sciweavers

1268 search results - page 136 / 254
» Verifying distributed systems: the operational approach
Sort
View
ICDE
2012
IEEE
267views Database» more  ICDE 2012»
13 years 12 days ago
Scalable and Numerically Stable Descriptive Statistics in SystemML
—With the exponential growth in the amount of data that is being generated in recent years, there is a pressing need for applying machine learning algorithms to large data sets. ...
Yuanyuan Tian, Shirish Tatikonda, Berthold Reinwal...
CLUSTER
2008
IEEE
15 years 4 months ago
Towards an understanding of the performance of MPI-IO in Lustre file systems
—Lustre is becoming an increasingly important file system for large-scale computing clusters. The problem, however, is that many data-intensive applications use MPI-IO for their ...
Jeremy Logan, Phillip M. Dickens
IPPS
2009
IEEE
15 years 4 months ago
Handling OS jitter on multicore multithreaded systems
Various studies have shown that OS jitter can degrade parallel program performance considerably at large processor counts. Most sources of system jitter fall broadly into 5 catego...
Pradipta De, Vijay Mann, Umang Mittaly
62
Voted
SAINT
2007
IEEE
15 years 4 months ago
Reconfigurable Systems with a User-Centric Focus
Today's reconfigurable radio systems have several interesting functionalities ranging from traditional reconfigurable systems operating at the physical layer only to fully fl...
Giovanni Bartolomeo, Stefano Salsano, Nicola Blefa...
DAGSTUHL
1993
14 years 11 months ago
Supporting continuous media applications in a micro-kernel environment
Currently, popular operating systems are unable to support the end-toend real-time requirements of distributed continuous media. Furthermore, the integration of continuous media c...
Geoff Coulson, Gordon S. Blair, Philippe Robin, Do...