Sciweavers

5722 search results - page 995 / 1145
» Security Function Interactions
Sort
View
ASPDAC
2008
ACM
134views Hardware» more  ASPDAC 2008»
15 years 5 months ago
Automatic re-coding of reference code into structured and analyzable SoC models
The quality of the input system model has a direct bearing on the effectiveness of the system exploration and synthesis tools. Given a well-structured system model, tools today are...
Pramod Chandraiah, Rainer Dömer
CEC
2008
IEEE
15 years 5 months ago
Multilevel cooperative coevolution for large scale optimization
In this paper, we propose a multilevel cooperative coevolution (MLCC) framework for large scale optimization problems. The motivation is to improve our previous work on grouping ba...
Zhenyu Yang, Ke Tang, Xin Yao
CAISE
2006
Springer
15 years 5 months ago
A Task-Driven Design Model for Collaborative AmI Systems
Abstract. Ambient intelligence (AmI) is a promising paradigm for humancentred interaction based on mobile and context-aware computing, natural interfaces and collaborative work. AM...
Roberto F. Arroyo, Miguel Gea, José Luis Ga...
111
Voted
DEON
2006
Springer
15 years 5 months ago
A Logical Architecture of a Normative System
Abstract. Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding...
Guido Boella, Leendert W. N. van der Torre
DAC
2005
ACM
15 years 5 months ago
Smart diagnostics for configurable processor verification
This paper describes a novel technique called Embedded Test-bench Control (ETC), extensively used in the verification of Tensilica’s latest configurable processor. Conventional ...
Sadik Ezer, Scott Johnson