Sciweavers

3931 search results - page 593 / 787
» Separation logic and abstraction
Sort
View
150
Voted
ISCAS
2006
IEEE
87views Hardware» more  ISCAS 2006»
16 years 1 months ago
NoC monitoring: impact on the design flow
Abstract— Networks-on-chip (NoCs) are a scalable interconnect solution to large scale multiprocessor systems on chip and are rapidly becoming reality. As the ratio of embedded co...
Calin Ciordas, Kees Goossens, Andrei Radulescu, Tw...
169
Voted
MICRO
2006
IEEE
155views Hardware» more  MICRO 2006»
16 years 1 months ago
In-Network Cache Coherence
With the trend towards increasing number of processor cores in future chip architectures, scalable directory-based protocols for maintaining cache coherence will be needed. Howeve...
Noel Eisley, Li-Shiuan Peh, Li Shang
204
Voted
SKG
2006
IEEE
16 years 1 months ago
Using Ontologies to Support Customisation and Maintain Interoperability in Distributed Information Systems with Application to t
Abstract. Global distributed systems must be standards-based to allow interoperability between all of their components. While this guarantees interoperability, it often causes loca...
Nickolas J. G. Falkner, Paul D. Coddington, Andrew...
WISE
2006
Springer
16 years 1 months ago
2D/3D Web Visualization on Mobile Devices
Abstract. Visualization is able to present the rich Web information intuitively and make the Web search/mining more productive. Mobile computing is able to provide the flexibility...
Yi Wang, Li-Zhu Zhou, Jianhua Feng, Lei Xie, Chun ...
188
Voted
ACCV
2006
Springer
16 years 1 months ago
Attractor-Guided Particle Filtering for Lip Contour Tracking
Abstract. We present a lip contour tracking algorithm using attractorguided particle filtering. Usually it is difficult to robustly track the lip contour because the lip contour i...
Yong-Dian Jian, Wen-Yan Chang, Chu-Song Chen