Sciweavers

2956 search results - page 436 / 592
» Targeted Data Prefetching
Sort
View
ALT
2009
Springer
16 years 3 months ago
Iterative Learning from Texts and Counterexamples Using Additional Information
Abstract. A variant of iterative learning in the limit (cf. [LZ96]) is studied when a learner gets negative examples refuting conjectures containing data in excess of the target la...
Sanjay Jain, Efim B. Kinber
ICCD
2006
IEEE
103views Hardware» more  ICCD 2006»
16 years 3 months ago
Architectural Support for Run-Time Validation of Control Flow Transfer
—Current micro-architecture blindly uses the address in the program counter to fetch and execute instructions without validating its legitimacy. Whenever this blind-folded instru...
Yixin Shi, Sean Dempsey, Gyungho Lee
PEPM
2009
ACM
16 years 3 months ago
Guided model checking for programs with polymorphism
Exhaustive model checking search techniques are ineffective for error discovery in large and complex multi-threaded software systems. Distance estimate heuristics guide the concre...
Neha Rungta, Eric G. Mercer
ICDE
2010
IEEE
231views Database» more  ICDE 2010»
16 years 1 months ago
Estimating the progress of MapReduce pipelines
Abstract— In parallel query-processing environments, accurate, time-oriented progress indicators could provide much utility given that inter- and intra-query execution times can ...
Kristi Morton, Abram Friesen, Magdalena Balazinska...
CHI
2010
ACM
16 years 1 months ago
Knowing where and when to look in a time-critical multimodal dual task
Human-computer systems intended for time-critical multitasking need to be designed with an understanding of how humans can coordinate and interleave perceptual, memory, and motor ...
Anthony J. Hornof, Yunfeng Zhang, Tim Halverson