Sciweavers

3106 search results - page 124 / 622
» Both Generic Design and Different Forms of Designing
Sort
View
CSFW
2006
IEEE
15 years 4 months ago
Secrecy by Typing and File-Access Control
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
Avik Chaudhuri, Martín Abadi
JUCS
2006
117views more  JUCS 2006»
14 years 10 months ago
Information and Hybrid Architecture Model of the OCP Contextual Information Management System
: This paper describes OCP (Open Context Platform), a middleware which provides support for management of contextual information and merging of information from different sources. ...
Ignacio Nieto-Carvajal, Juan A. Botía Blaya...
ICCV
2009
IEEE
16 years 3 months ago
A Shape-Based Object Class Model for Knowledge Transfer
Object class models trained on hundreds or thousands of images have shown to enable robust detection. Transferring knowledge from such models to new object classes trained from ...
Michael Stark, Michael Goesele, Bernt Schiele
99
Voted
CORR
2006
Springer
112views Education» more  CORR 2006»
14 years 10 months ago
High-level synthesis under I/O Timing and Memory constraints
The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper...
Philippe Coussy, Gwenolé Corre, Pierre Bome...
DAC
2007
ACM
15 years 11 months ago
Optimization of Area in Digital FIR Filters using Gate-Level Metrics
In the paper, we propose a new metric for the minimization of area in the generic problem of multiple constant multiplications, and demonstrate its effectiveness for digital FIR f...
Eduardo A. C. da Costa, José C. Monteiro, L...