5762 search results - page 424 / 1153 » R-tree: A Hardware Implementation |
195
click to vote
ICCAD
1994
IEEE
15 years 11 months ago
1994
IEEE
Given a set of specifications for a targeted application, algorithm selection refers to choosing the most suitable algorithm for a given goal, among several functionally equivalen...
215
click to vote
AICCSA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract-- This paper presents an artificial neural networks approach to estimate the indicated torque of a single-cylinder diesel engine from crank shaft angular position and velo...
180
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
195
click to vote
CODES
2001
IEEE
15 years 11 months ago
2001
IEEE
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...
197
click to vote
IWMM
2000
Springer
15 years 11 months ago
2000
Springer
This paper explains a technique that integrates conservative garbage collection on top of general memory allocators. This is possible by using two data structures named malloc-tab...