1327 search results - page 162 / 266 » Data Dependent Circuit Design: A Case Study |
140
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
ion for Concurrent Objects Ivana Filipovi´c, Peter O’Hearn, Noam Rinetzky, and Hongseok Yang Queen Mary University of London, UK Concurrent data structures are usually designed ...
194
click to vote
ACIIDS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, two concepts from different research areas are addressed together, namely functional dependency (FD) and multidimensional association rule (MAR). FD is a class of i...
163
click to vote
AGP
1995
IEEE
15 years 10 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
168
click to vote
MICRO
2009
IEEE
16 years 28 days ago
2009
IEEE
The phase-change random access memory (PRAM) technology is fast maturing to production levels. Main advantages of PRAM are non-volatility, byte addressability, in-place programmab...
187
click to vote
ICRA
2008
IEEE
16 years 22 days ago
2008
IEEE
— This study describes a method of estimating the intrinsic parameters of a perspective camera. In previous calibration methods for perspective cameras, the intrinsic and extrins...