Sciweavers

553 search results - page 80 / 111
» Verified, Executable Parsing
Sort
View
DATE
2003
IEEE
112views Hardware» more  DATE 2003»
14 years 1 months ago
Transaction-Level Models for AMBA Bus Architecture Using SystemC 2.0
The concept of a SOC platform architecture introduces the concept of a communication infrastructure. In the transaction-level a finite set of architecture components (memories, ar...
Marco Caldari, Massimo Conti, Massimo Coppola, Ste...
SAINT
2003
IEEE
14 years 1 months ago
A Proposal of the Person-centered Approach for Personal Task Management
This paper proposes a person-centered approach for personal task management in which people can decide management of their tasks according to their environments including their su...
Ikki Ohmukai, Hideaki Takeda, Mitsunori Miki
COSIT
2003
Springer
132views GIS» more  COSIT 2003»
14 years 1 months ago
"Simplest" Paths: Automated Route Selection for Navigation
Numerous cognitive studies have indicated that the form and complexity of route instructions may be as important to human navigators as the overall length of route. Most automated ...
Matt Duckham, Lars Kulik
DATE
2010
IEEE
111views Hardware» more  DATE 2010»
14 years 1 months ago
Instruction precomputation with memoization for fault detection
—Fault tolerance (FT) has become a major concern in computing systems. Instruction duplication has been proposed to verify application execution at run time. Two techniques, inst...
Demid Borodin, Ben H. H. Juurlink
ICDCSW
2002
IEEE
14 years 1 months ago
Dynamic Support for Distributed Auto-Adaptive Applications
Abstract— This work presents an infrastructure that simplifies the development of distributed applications that can adapt automatically to nonfunctional properties of their comp...
Ana Lúcia de Moura, Cristina D. Ururahy, Re...