Sciweavers

537 search results - page 62 / 108
» Extended directed triple systems
Sort
View
MICRO
2008
IEEE
124views Hardware» more  MICRO 2008»
14 years 4 months ago
Token tenure: PATCHing token counting using directory-based cache coherence
Traditional coherence protocols present a set of difficult tradeoffs: the reliance of snoopy protocols on broadcast and ordered interconnects limits their scalability, while dire...
Arun Raghavan, Colin Blundell, Milo M. K. Martin
POPL
2005
ACM
14 years 10 months ago
Parametric polymorphism for XML
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
Haruo Hosoya, Alain Frisch, Giuseppe Castagna
CCGRID
2006
IEEE
14 years 4 months ago
Proposal of MPI Operation Level Checkpoint/Rollback and One Implementation
With the increasing number of processors in modern HPC(High Performance Computing) systems, there are two emergent problems to solve. One is scalability, the other is fault tolera...
Yuan Tang, Graham E. Fagg, Jack Dongarra
CVPR
2008
IEEE
15 years 4 days ago
Combining brain computer interfaces with vision for object categorization
Human-aided computing proposes using information measured directly from the human brain in order to perform useful tasks. In this paper, we extend this idea by fusing computer vis...
Ashish Kapoor, Pradeep Shenoy, Desney S. Tan
ICPR
2004
IEEE
14 years 11 months ago
On-Line Adaptive Background Modelling for Audio Surveillance
In this paper, we investigate the problem of automatic audio surveillance. This aspect of the surveillance, which extends the more investigated area of video surveillance, can be ...
Marco Cristani, Manuele Bicego, Vittorio Murino