Sciweavers

1453 search results - page 37 / 291
» State and history in operating systems
Sort
View
ICDE
2007
IEEE
120views Database» more  ICDE 2007»
15 years 6 months ago
Optimizing State-Intensive Non-Blocking Queries Using Run-time Adaptation
Main memory is a critical resource when processing non-blocking queries with state intensive operators that require real-time responses. While partitioned parallel processing can ...
Bin Liu, Mariana Jbantova, Elke A. Rundensteiner
FAST
2011
14 years 3 months ago
CAFTL: A Content-Aware Flash Translation Layer Enhancing the Lifespan of Flash Memory based Solid State Drives
Although Flash Memory based Solid State Drive (SSD) exhibits high performance and low power consumption, a critical concern is its limited lifespan along with the associated relia...
Feng Chen, Tian Luo, Xiaodong Zhang
79
Voted
AIED
2007
Springer
15 years 6 months ago
Pedagogical Agents Trying on a Caring Mentor Role
: We describe the design and evaluation of an affective pedagogical agent persona for Intelligent Tutoring Systems. The goal of our research was to develop an agent embodying a per...
Konstantin Zakharov, Antonija Mitrovic, Lucy Johns...
HICSS
2005
IEEE
142views Biometrics» more  HICSS 2005»
15 years 6 months ago
An Assembly and Execution Shell for MultiAgent Systems
This paper presents a novel approach to design and develop an assembly and execution shell for multiagent applications based on the concept of a mission. A mission is a live evolv...
Glenn T. Jayaputera, Arkady B. Zaslavsky, Seng Wai...
CAV
2004
Springer
96views Hardware» more  CAV 2004»
15 years 5 months ago
Widening Arithmetic Automata
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
Constantinos Bartzis, Tevfik Bultan