Sciweavers

1878 search results - page 276 / 376
» Efficient Performance Models in Component-Based Software Eng...
Sort
View
IUI
2009
ACM
15 years 6 months ago
Context-based page unit recommendation for web-based sensemaking tasks
Sensemaking tasks require users to perform complex research behaviors to gather and comprehend information from many sources. Such tasks are common and include, for example, resea...
Wen-Huang Cheng, David Gotz
PEPM
2007
ACM
15 years 3 months ago
Lowering: a static optimization technique for transparent functional reactivity
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
Kimberley Burchett, Gregory H. Cooper, Shriram Kri...
AUIC
2005
IEEE
15 years 3 months ago
Hand Tracking For Low Powered Mobile AR User Interfaces
Mobile augmented reality systems use general purpose computing hardware to perform tasks such as rendering computer graphics, providing video overlay, and performing vision tracki...
Ross Smith, Wayne Piekarski, Grant B. Wigley
FASE
2009
Springer
15 years 1 months ago
Enhanced Property Specification and Verification in BLAST
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....
Ondrej Sery
EMSOFT
2004
Springer
15 years 3 months ago
Multiple process execution in cache related preemption delay analysis
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
Jan Staschulat, Rolf Ernst