2067 search results - page 343 / 414 » Logics of propositional control |
144
click to vote
ISCA
2003
IEEE
15 years 11 months ago
2003
IEEE
Multiported register files are a critical component of high-performance superscalar microprocessors. Conventional multiported structures can consume significant power and die ar...
262
click to vote
GLOBAL
2003
Springer
15 years 11 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
172
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
161
click to vote
FPL
2009
Springer
15 years 11 months ago
2009
Springer
Spatially-tiled architectures, such as Coarse-Grained Reconfigurable Arrays (CGRAs), are powerful architectures for accelerating applications in the digital-signal processing, em...
161
click to vote
ATS
2000
IEEE
15 years 10 months ago
2000
IEEE
Testing of embedded cores is very difficult in SOC (system-on-a-chip), since the core user may not know the gate level implementation of the core, and the controllability and obse...