Sciweavers

1685 search results - page 272 / 337
» Commonality and Variability in Software Engineering
Sort
View
CODES
2008
IEEE
16 years 19 days ago
Asynchronous transient resilient links for NoC
This paper proposes a new link for asynchronous NoC communications that is resilient to transient faults on the wires of the link without impact on the data transfer capability. R...
Simon Ogg, Bashir M. Al-Hashimi, Alexandre Yakovle...
FCCM
2007
IEEE
111views VLSI» more  FCCM 2007»
16 years 15 days ago
A Structural Object Programming Model, Architecture, Chip and Tools for Reconfigurable Computing
A new platform for reconfigurable computing has an object-based programming model, with architecture, silicon and tools designed to faithfully realize this model. The platform is ...
Michael Butts, Anthony Mark Jones, Paul Wasson
MODELS
2007
Springer
16 years 9 days ago
Useware Modeling for Ambient Intelligent Production Environments
The impact of user interface quality has grown in software systems engineering, and will grow further with upcoming new paradigms such as Ambient Intelligence or Ubiquitous Comput...
Daniel Görlich, Kai Breiner
MMSEC
2006
ACM
129views Multimedia» more  MMSEC 2006»
16 years 3 days ago
Digital invisible ink and its applications in steganography
A novel information-hiding methodology denoted as digital invisible ink is introduced. The proposed approach is inspired by the invisible ink in the real world and can be regarded...
Chun-Hsiang Huang, Shang-Chih Chuang, Ja-Ling Wu
PPOPP
2006
ACM
16 years 3 days ago
Proving correctness of highly-concurrent linearisable objects
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Mar...