17054 search results - page 333 / 3411 » Logics of Dynamical Systems |
205
click to vote
JUCS
2007
15 years 7 months ago
2007
: This article presents an architecture that encrypts data with the AES algorithm. This architecture can be implemented on the Xilinx Virtex II FPGA family, by applying pipelining ...
197
Voted
EDO
2006
Springer
15 years 11 months ago
2006
Springer
We present a new publish-subscribe middleware called REDS (REconfigurable Dispatching System) designed to tolerate dynamic reconfigurations of the dispatching infrastructure, like...
239
click to vote
ISCAPDCS
2008
15 years 9 months ago
2008
This paper introduces a combination of models and proofs for optimal power management via Dynamic Frequency Scaling and Dynamic Voltage Scaling. The approach is suitable for syste...
196
Voted
ENTCS
2008
15 years 7 months ago
2008
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...