Sciweavers

7773 search results - page 1190 / 1555
» On generalized Frame-Stewart numbers
Sort
View
FORMATS
2008
Springer
15 years 8 months ago
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski...
IMC
2007
ACM
15 years 8 months ago
A brief history of scanning
Incessant scanning of hosts by attackers looking for vulnerable servers has become a fact of Internet life. In this paper we present an initial study of the scanning activity obse...
Mark Allman, Vern Paxson, Jeff Terrell
ISLPED
2007
ACM
84views Hardware» more  ISLPED 2007»
15 years 8 months ago
Towards a software approach to mitigate voltage emergencies
Increases in peak current draw and reductions in the operating voltages of processors continue to amplify the importance of dealing with voltage fluctuations in processors. One a...
Meeta Sharma Gupta, Krishna K. Rangan, Michael D. ...
CIDR
2007
111views Algorithms» more  CIDR 2007»
15 years 8 months ago
Moirae: History-Enhanced Monitoring
In this paper, we investigate the benefits and challenges of integrating history into a near-real-time monitoring system; and present a general purpose continuous monitoring engi...
Magdalena Balazinska, YongChul Kwon, Nathan Kuchta...
LREC
2010
170views Education» more  LREC 2010»
15 years 8 months ago
Transcription Methods for Consistency, Volume and Efficiency
This paper describes recent efforts at Linguistic Data Consortium at the University of Pennsylvania to create manual transcripts as a shared resource for human language technology...
Meghan Lammie Glenn, Stephanie Strassel, Haejoong ...
« Prev « First page 1190 / 1555 Last » Next »