Sciweavers

4164 search results - page 597 / 833
» Application and desktop sharing
Sort
View
WWW
2008
ACM
16 years 8 months ago
m-Dvara 2.0: Mobile & Web 2.0 Services Integration for Cultural Heritage
Web 2.0 marks a new philosophy where user is the main actor and content producer: users write blogs and comments, they tag, link, and upload photos, pictures, videos, and podcasts...
Paolo Coppola, Raffaella Lomuscio, Stefano Mizzaro...
WWW
2008
ACM
16 years 8 months ago
User oriented link function classification
Currently most link-related applications treat all links in the same web page to be identical. One link-related application usually requires one certain property of hyperlinks but...
Mingliang Zhu, Weiming Hu, Ou Wu, Xi Li, Xiaoqin Z...
HPCA
2009
IEEE
16 years 7 months ago
Design and evaluation of a hierarchical on-chip interconnect for next-generation CMPs
Performance and power consumption of an on-chip interconnect that forms the backbone of Chip Multiprocessors (CMPs), are directly influenced by the underlying network topology. Bo...
Reetuparna Das, Soumya Eachempati, Asit K. Mishra,...
CHI
2006
ACM
16 years 7 months ago
Collective creation and sense-making of mobile media
Traditionally, mobile media sharing and messaging has been studied from the perspective of an individual author making media available to other users. With the aim of supporting s...
Antti Salovaara, Giulio Jacucci, Antti Oulasvirta,...
ICCAD
2002
IEEE
142views Hardware» more  ICCAD 2002»
16 years 4 months ago
SAT and ATPG: Boolean engines for formal hardware verification
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
Armin Biere, Wolfgang Kunz