Sciweavers

1884 search results - page 88 / 377
» Abstraction from Counters: An Application on Real-Time Syste...
Sort
View
COMGEO
2010
ACM
15 years 28 days ago
Exact join detection for convex polyhedra and other numerical abstractions
r Numerical Abstractions6 Roberto Bagnaraa , Patricia M. Hillb , Enea Zaffanellaa aDepartment of Mathematics, University of Parma, Italy bSchool of Computing, University of Leeds, ...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella
105
Voted
RECSYS
2010
ACM
15 years 1 months ago
On the real-time web as a source of recommendation knowledge
The so-called real-time web (RTW) is a web of opinions, comments, and personal viewpoints, often expressed in the form of short, 140-character text messages providing abbreviated ...
Sandra Garcia Esparza, Michael P. O'Mahony, Barry ...
115
Voted
ISMAR
2007
IEEE
15 years 7 months ago
Face-to-Face Tabletop Remote Collaboration in Mixed Reality
This paper proposes a novel remote face-to-face Mixed Reality (MR) system that enables two people in distant places to share MR space. Challenging issues to realize such an MR sys...
Shinya Minatani, Itaru Kitahara, Yoshinari Kameda,...
128
Voted
MICRO
2010
IEEE
156views Hardware» more  MICRO 2010»
14 years 11 months ago
Explicit Communication and Synchronization in SARC
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...
Manolis Katevenis, Vassilis Papaefstathiou, Stamat...
117
Voted
RTCSA
2007
IEEE
15 years 7 months ago
A NOR Emulation Strategy over NAND Flash Memory
This work is motivated by a strong market demand in the replacement of NOR flash memory with NAND flash memory to cut down the cost in many embedded-system designs, such as mobi...
Jian-Hong Lin, Yuan-Hao Chang, Jen-Wei Hsieh, Tei-...