1604 search results - page 140 / 321 » A Logical Viewpoint on Architectures |
146
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
210
click to vote
CHES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper a compact FPGA architecture for the AES algorithm with 128-bit key targeted for low-cost embedded applications is presented. Encryption, decryption and key ...
161
click to vote
HOTOS
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
155
click to vote
FUZZY
2004
Springer
15 years 9 months ago
2004
Springer
- The UPnP(Universal Plug and Play) architecture offers pervasive peer-to-peer network connectivity of intelligent appliances in dynamic distributed computing environment. This pap...
169
click to vote
CADE
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Sledgehammer is a component of Isabelle/HOL that employs firstorder automatic theorem provers (ATPs) to discharge goals arising in interactive proofs. It heuristically s...