Sciweavers

2173 search results - page 30 / 435
» The History of the History of Software
Sort
View
ICIW
2008
IEEE
15 years 4 months ago
Graphical History List with Multi-window Support on a Mobile Web Browser
— Rolling back to previously visited Web pages and opening multiple browser windows or tabs at the same time are common activities in a Web browsing session on a PC. When using a...
Elina Vartiainen, Virpi Roto, Janne Kaasalainen
AINA
2005
IEEE
15 years 3 months ago
mPATH: An Interactive Visualization Framework for Behavior History
This paper presents an interactive analysis and visualization framework for behavior histories, called mPATH framework. In ubiquitous computing environment, it is possible to infe...
Masaki Ito, Jin Nakazawa, Hideyuki Tokuda
IJPP
2008
72views more  IJPP 2008»
14 years 9 months ago
Modulo Path History for the Reduction of Pipeline Overheads in Path-based Neural Branch Predictors
Neural-inspired branch predictors achieve very low branch misprediction rates. However, previously proposed implementations have a variety of characteristics that make them challen...
Gabriel H. Loh, Daniel A. Jiménez
VL
2007
IEEE
107views Visual Languages» more  VL 2007»
15 years 4 months ago
Mobile games to foster the learning of history at archaeological sites
This paper presents a system designed to support young students learning history at an archaeological site, by exploiting mobile technology. The approach uses game-play, since it ...
Carmelo Ardito, Paolo Buono, Maria Francesca Costa...
ESOP
2007
Springer
15 years 3 months ago
Using History Invariants to Verify Observers
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
K. Rustan M. Leino, Wolfram Schulte