10805 search results - page 2060 / 2161 » Mapping Computation with No Memory |
165
Voted
LCTRTS
2010
Springer
15 years 1 months ago
2010
Springer
Chip multiprocessors (CMPs) are expected to be the building blocks for future computer systems. While architecting these emerging CMPs is a challenging problem on its own, program...
147
Voted
SP
2010
IEEE
15 years 1 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...
155
Voted
FM
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
148
Voted
ICIP
2009
IEEE
15 years 1 months ago
2009
IEEE
To have a robust and informative image content representation for image categorization, we often need to extract as many as possible visual features at various locations, scales a...
138
Voted
CONNECTION
2010
15 years 1 months ago
2010
Abstract. Despite the great amount of knowledge produced by the neuroscientific literature affective phenomena, current models tackling noncognitive aspects of behavior are often b...