Sciweavers

1358 search results - page 138 / 272
» Communication Analysis for System-On-Chip Design
Sort
View
IFIP
2005
Springer
14 years 3 months ago
Relative Trustworthiness
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
Johan W. Klüwer, Arild Waaler
GCC
2003
Springer
14 years 3 months ago
Modelling Cooperative Multi-agent Systems
Cooperative computing is becoming inevitable with the emerging of service-oriented computing and GRID becoming a ubiquitous computing resource. It is widely recognized that agent t...
Lijun Shan, Hong Zhu
DATE
2004
IEEE
134views Hardware» more  DATE 2004»
14 years 2 months ago
Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate Coprocessor
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...
Klaus Winkelmann, Hans-Joachim Trylus, Dominik Sto...
NIPS
2003
13 years 11 months ago
A Summating, Exponentially-Decaying CMOS Synapse for Spiking Neural Systems
Synapses are a critical element of biologically-realistic, spike-based neural computation, serving the role of communication, computation, and modification. Many different circui...
Rock Z. Shi, Timothy K. Horiuchi
SP
2008
IEEE
129views Security Privacy» more  SP 2008»
14 years 4 months ago
Secure Web Browsing with the OP Web Browser
Abstract—Current web browsers are plagued with vulnerabilities, providing hackers with easy access to computer systems via browser-based attacks. Browser security efforts that re...
Chris Grier, Shuo Tang, Samuel T. King