Sciweavers

3451 search results - page 425 / 691
» The Architecture and Implementation of Resource Space Model ...
Sort
View
MASS
2010
110views Communications» more  MASS 2010»
15 years 4 months ago
SpartanRPC: Secure WSN middleware for cooperating domains
In this paper we describe SpartanRPC, a secure middleware technology for wireless sensor network (WSN) applications supporting cooperation between distinct protection domains. The ...
Peter C. Chapin, Christian Skalka
ACSD
2006
IEEE
129views Hardware» more  ACSD 2006»
16 years 23 days ago
Communicating with Synchronized Environments
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
Tiberiu Seceleanu, Axel Jantsch
DAC
2000
ACM
16 years 7 months ago
COSY communication IP's
The Esprit/OMI-COSY project defines transaction-levels to set-up the exchange of IP's in separating function from architecture and body-behavior from proprietary interfaces. ...
Erwin A. de Kock, Frédéric Pé...
IJON
2011
90views more  IJON 2011»
14 years 10 months ago
Fault tolerant machine learning for nanoscale cognitive radio
We introduce a machine learning based classifier that identifies free radio channels for cognitive radio. The architecture is designed for nanoscale implementation, under nanosc...
Joni Pajarinen, Jaakko Peltonen, Mikko A. Uusitalo
161
Voted
VLSID
2007
IEEE
97views VLSI» more  VLSID 2007»
16 years 7 months ago
Efficient Microprocessor Verification using Antecedent Conditioned Slicing
We present a technique for automatic verification of pipelined microprocessors using model checking. Antecedent conditioned slicing is an efficient abstraction technique for hardw...
Shobha Vasudevan, Vinod Viswanath, Jacob A. Abraha...