Sciweavers

20807 search results - page 81 / 4162
» How to read a paper
Sort
View
CORR
2011
Springer
191views Education» more  CORR 2011»
14 years 11 months ago
Using Paxos to Build a Scalable, Consistent, and Highly Available Datastore
Spinnaker is an experimental datastore that is designed to run on a large cluster of commodity servers in a single datacenter. It features key-based range partitioning, 3-way repl...
Jun Rao, Eugene J. Shekita, Sandeep Tata
ACSC
2004
IEEE
15 years 8 months ago
An Open Meteorological Alerting System: Issues and Solutions
This paper describes an experimental alerting system under development by the Australian Bureau of Meteorology, initially targetted at (but not restricted to) the aviation sector....
Ian D. Mathieson, Sandy Dance, Lin Padgham, Malcol...
FSTTCS
2006
Springer
15 years 8 months ago
Monitoring of Real-Time Properties
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
Andreas Bauer 0002, Martin Leucker, Christian Scha...
RTCSA
2000
IEEE
15 years 8 months ago
Space efficient wait-free buffer sharing in multiprocessor real-time systems based on timing information
A space efficient wait-free algorithm for implementing a shared buffer for real-time multiprocessor systems is presented in this paper. The commonly used method to implement share...
Håkan Sundell, Philippas Tsigas
156
Voted
ASPDAC
2008
ACM
119views Hardware» more  ASPDAC 2008»
15 years 6 months ago
A stochastic local hot spot alerting technique
- With the increasing levels of variability in the behavior of manufactured nano-scale devices and dramatic changes in the power density on a chip, timely identification of hot spo...
Hwisung Jung, Massoud Pedram