1884 search results - page 252 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
102
Voted
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract In this document we make a brief review of memory management and DMA considerations in case of common SCI hardware and the Virtual Interface Architecture. On this basis we...
115
click to vote
HPCN
1998
Springer
15 years 5 months ago
1998
Springer
In this paper, we describe a graphical editor GRED as part of the integrated programming environment GRADE that is intended to support designing, debugging and performance tuning o...
109
click to vote
HPCN
1997
Springer
15 years 5 months ago
1997
Springer
Abstract. Ion recombination in nonpolar liquids is an important problem in radiation chemistry. We have designed and implemented a parallel Monte Carlo simulation for this computat...
123
click to vote
ENTCS
2008
15 years 1 months ago
2008
Following earlier work, a modal logic for T-coalgebras is a functor L on a suitable variety. Syntax and proof system of the logic are given by presentations of the functor. This p...
100
click to vote
TCSV
2008
15 years 1 months ago
2008
Abstract--This paper proposes a parallel hardware architecture for image feature detection based on the SIFT (Scale Invariant Feature Transform) algorithm and applied to the SLAM (...