Results 1 - 10
of
228
DIGITAL STOP WATCH SYSTEM
"... This stopwatch project is a software and hardware co-design. The time will be shown on the FPGA board and on the LCD. The system will be modeled in VHDL (Very-high-speed integrated circuit Hardware Description Language) and implemented on the Nexys4 FPGA board. I. ..."
Abstract
- Add to MetaCart
This stopwatch project is a software and hardware co-design. The time will be shown on the FPGA board and on the LCD. The system will be modeled in VHDL (Very-high-speed integrated circuit Hardware Description Language) and implemented on the Nexys4 FPGA board. I.
Mitigating Access-Driven Timing Channels in Clouds using StopWatch
"... Abstract—This paper presents StopWatch, a system that defends against timing-based side-channel attacks that arise from coresidency of victims and attackers in infrastructure-as-a-service clouds. StopWatch triplicates each cloud-resident guest virtual machine (VM) and places replicas so that the thr ..."
Abstract
-
Cited by 9 (2 self)
- Add to MetaCart
Abstract—This paper presents StopWatch, a system that defends against timing-based side-channel attacks that arise from coresidency of victims and attackers in infrastructure-as-a-service clouds. StopWatch triplicates each cloud-resident guest virtual machine (VM) and places replicas so
StopWatch: Toward “Differentially Private ” Timing for Cloud Executions
"... Abstract—This paper describes StopWatch, a system that defends against timing-based side-channel attacks that arise from coresidency of victims and attackers in infrastructure-as-a-service cloud environments. StopWatch triplicates each cloud-resident guest virtual machine (VM) and places replicas so ..."
Abstract
- Add to MetaCart
Abstract—This paper describes StopWatch, a system that defends against timing-based side-channel attacks that arise from coresidency of victims and attackers in infrastructure-as-a-service cloud environments. StopWatch triplicates each cloud-resident guest virtual machine (VM) and places replicas
StopWatch: A Module for Portable Measurement of Execution Time
, 1997
"... StopWatch is a Fortran 90 module for portable measurement of execution time. It supports four clocks -- wall clock, CPU clock, user CPU clock and system CPU clock -- and returns all times in seconds. It provides a simple means of determining which clocks are available, and the precision of those clo ..."
Abstract
- Add to MetaCart
StopWatch is a Fortran 90 module for portable measurement of execution time. It supports four clocks -- wall clock, CPU clock, user CPU clock and system CPU clock -- and returns all times in seconds. It provides a simple means of determining which clocks are available, and the precision of those
\StopWatchEnd \Taschenuhr \VarTaschenuhr
"... My research is in theoretical computer science. I have broad interests that include complexity theory (in particular, communication complexity, circuit complexity, and analytic models of complexity), computational learning theory, and quantum computing. ..."
Abstract
- Add to MetaCart
My research is in theoretical computer science. I have broad interests that include complexity theory (in particular, communication complexity, circuit complexity, and analytic models of complexity), computational learning theory, and quantum computing.
Stop Watching and Start Listening! The Impact of Coaching and Peer Observation in Tournaments Stop Watching and Start Listening! The Impact of Coaching and Peer Observation in Tournaments
"... Abstract This paper uses experimental data to analyze how competitive behavior is influenced by coaching and peer observation. We study behavior in a sequential contest, considering information about the effort level of subjects in other contests (observation of peers) and information about the pay ..."
Abstract
- Add to MetaCart
Abstract This paper uses experimental data to analyze how competitive behavior is influenced by coaching and peer observation. We study behavior in a sequential contest, considering information about the effort level of subjects in other contests (observation of peers) and information about the payoff-maximizing effort level (coaching) as treatment variables. Presentation of peer effort has a significant impact on the effort levels of first movers but not on second movers' effort levels. The decisions of second movers were positively influenced (in terms of payoffs) by coaching when this information was presented alone; however, when coaching was presented in combination with peer observation, the quality of second-mover decisions deteriorated.
Stop Watching and Start Listening! The Impact of Coaching and Peer Observation in Tournaments
, 2012
"... This paper uses experimental data to analyze how competitive behavior is influenced by coaching and peer observation. We study behavior in a sequential contest, considering information about the effort level of subjects in other contests (observation of peers) and information about the payoff-maximi ..."
Abstract
- Add to MetaCart
This paper uses experimental data to analyze how competitive behavior is influenced by coaching and peer observation. We study behavior in a sequential contest, considering information about the effort level of subjects in other contests (observation of peers) and information about the payoff-maximizing effort level (coaching) as treatment variables. Presentation of peer effort has a significant impact on the effort levels of first movers but not on second movers ’ effort levels. The decisions of second movers were positively influenced (in terms of payoffs) by coaching when this information was presented alone; however, when coaching was presented in combination with peer observation, the quality of second-mover decisions deteriorated.
Automatic Symbolic Verification of Embedded Systems
, 1996
"... We present a model-checking procedure and its implementation for the automatic verification of embedded systems. The system components are described as Hybrid Automata -- communicating machines with finite control and real-valued variables that represent continuous environment parameters such as tim ..."
Abstract
-
Cited by 330 (24 self)
- Add to MetaCart
such as time, pressure, and temperature. The system requirements are specified in a temporal logic with stop watches, and verified by symbolic fixpoint computation. The verification procedure -- implemented in the Cornell Hybrid Technology Tool, HyTech -- applies to hybrid automata whose continuous dynamics
Results 1 - 10
of
228