Sciweavers

5055 search results - page 347 / 1011
» Relative Timing
Sort
View
HICSS
2006
IEEE
114views Biometrics» more  HICSS 2006»
16 years 1 months ago
Static and Dynamic Weaving in System Software with AspectC++
— System software strongly relies on the availability of static as well as dynamic adaptation techniques. With AspectOriented Programming (AOP) it is now possible to adapt even p...
Wolfgang Schröder-Preikschat, Daniel Lohmann,...
MOBICOM
2006
ACM
16 years 1 months ago
Fast and reliable estimation schemes in RFID systems
RFID tags are being used in many diverse applications in increasingly large numbers. These capabilities of these tags span from very dumb passive tags to smart active tags, with t...
Murali S. Kodialam, Thyaga Nandagopal
ICPP
2005
IEEE
16 years 1 months ago
Filter Decomposition for Supporting Coarse-Grained Pipelined Parallelism
We consider the filter decomposition problem in supporting coarse-grained pipelined parallelism. This form of parallelism is suitable for data-driven applications in scenarios wh...
Wei Du, Gagan Agrawal
FORMATS
2004
Springer
16 years 24 days ago
Bounded Model Checking for Region Automata
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
Fang Yu, Bow-Yaw Wang, Yao-Wen Huang
ISAAC
2004
Springer
153views Algorithms» more  ISAAC 2004»
16 years 23 days ago
Canonical Data Structure for Interval Probe Graphs
The class of interval probe graphs is introduced to deal with the physical mapping and sequencing of DNA as a generalization of interval graphs. The polynomial time recognition al...
Ryuhei Uehara