Sciweavers

12438 search results - page 102 / 2488
» The Magic of a Number System
Sort
View
LISA
2008
13 years 10 months ago
Rapid Parallel Systems Deployment: Techniques for Overnight Clustering
Automated system deployment frameworks and configuration management systems have been in wide use for a number of years. However, due to increasing pressures to maintain high avai...
Donna Cumberland, Randy Herban, Rick Irvine, Micha...
SOSP
1993
ACM
13 years 9 months ago
The Logical Disk: A New Approach to Improving File Systems
The Logical Disk (LD) defines a new interface to disk storage that separates file management and disk management by using logical block numbers and block lists. The LD interface...
Wiebren de Jonge, M. Frans Kaashoek, Wilson C. Hsi...
FUIN
2006
105views more  FUIN 2006»
13 years 8 months ago
Spiking Neural P Systems
This paper is an attempt to incorporate the idea of spiking neurons into the area of membrane computing, and to this aim we introduce a class of neural-like P systems which we cal...
Mihai Ionescu, Gheorghe Paun, Takashi Yokomori
FMCAD
2009
Springer
14 years 2 months ago
Synthesizing robust systems
—Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environmen...
Roderick Bloem, Karin Greimel, Thomas A. Henzinger...
ECTEL
2007
Springer
14 years 2 months ago
Cross-System Validation of Engagement Prediction from Log Files
Engagement is an important aspect of effective learning. Time spent using an e-Learning system is not quality time if the learner is not engaged. Tracking student disengagement wou...
Mihaela Cocea, Stephan Weibelzahl