Sciweavers

3999 search results - page 296 / 800
» Design of Optical Access Systems using Computer Modeling
Sort
View
169
Voted
JCP
2006
135views more  JCP 2006»
15 years 6 months ago
Improved Double Auction Protocol based on a Hybrid Trust Model
Recently, Wang et al. proposed a set of double auction protocols with full privacy protection based on distributed ElGamal encryption. Unfortunately, their protocols are expensive ...
JungHoon Ha, Jianying Zhou, Sang-Jae Moon
SAC
2006
ACM
16 years 20 days ago
Hardware/software 2D-3D backprojection on a SoPC platform
The reduction of image reconstruction time is needed to spread the use of PET for research and routine clinical practice. In this purpose, this article presents a hardware/softwar...
Nicolas Gac, Stéphane Mancini, Michel Desvi...
ICCAD
2003
IEEE
148views Hardware» more  ICCAD 2003»
16 years 3 months ago
The Compositional Far Side of Image Computation
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
Chao Wang, Gary D. Hachtel, Fabio Somenzi
JDIM
2010
125views more  JDIM 2010»
15 years 1 months ago
Building Context-Awareness Models for Mobile Applications
ABSTRACT. The design process followed to produce traditional applications needs to be enhanced to cope with new contextaware ubiquitous application requirements. With the popularit...
Chantal Taconet, Zakia Kazi-Aoul
ADAEUROPE
2005
Springer
16 years 8 days ago
Extending Ravenscar with CSP Channels
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
Diyaa-Addein Atiya, Steve King