5451 search results - page 913 / 1091 » Typed Operational Semantics |
102
click to vote
CCS
2007
ACM
15 years 10 months ago
2007
ACM
Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectura...
146
click to vote
CIARP
2007
Springer
15 years 10 months ago
2007
Springer
In order to deploy mobile robots in social environments like indoor buildings, they need to be provided with perceptual abilities to detect people. In the computer vision literatur...
128
click to vote
FPGA
2007
ACM
15 years 10 months ago
2007
ACM
We present an architecture for a synthesizable datapathoriented Field Programmable Gate Array (FPGA) core which can be used to provide post-fabrication flexibility to a Systemon-...
122
click to vote
FPL
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a novel architecture for domain-specific FPGA devices. This architecture can be optimised for both speed and density by exploiting domain-specific informatio...
124
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we propose a new approach that consists of the extended compact genetic algorithm (ECGA) and split-ondemand (SoD), an adaptive discretization technique, to economic...