Sciweavers

1884 search results - page 88 / 377
» Abstraction from Counters: An Application on Real-Time Syste...
Sort
View
COMGEO
2010
ACM
14 years 10 months 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
RECSYS
2010
ACM
14 years 10 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 ...
ISMAR
2007
IEEE
15 years 4 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,...
MICRO
2010
IEEE
156views Hardware» more  MICRO 2010»
14 years 8 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...
RTCSA
2007
IEEE
15 years 4 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-...