5600 search results - page 98 / 1120 » Synthesizing robust systems |
144
Voted
PSB
2010
15 years 2 months ago
2010
teness of the knowledge bases, our approach also obtains facts through automated extraction from Medline abstracts. An essential component of our approach is to apply logical reaso...
139
click to vote
TVLSI
2010
14 years 11 months ago
2010
A method is described for synthesizing asynchronous circuits based on the Handshake Circuit paradigm but employing a data-driven, rather than a control-driven, style. This approach...
142
Voted
DAC
2008
ACM
16 years 5 months ago
2008
ACM
This paper discusses the use of networks-on-chip (NoCs) consisting of multiple voltage-frequency islands to cope with power consumption, clock distribution and parameter variation...
117
click to vote
MEMOCODE
2005
IEEE
15 years 10 months ago
2005
IEEE
The SystemVerilog standard introduces SystemVerilog Assertions (SVA), a synchronous assertion package based on the temporal-logic semantics of PSL. Traditionally assertions are ch...
140
click to vote
IPTPS
2004
Springer
15 years 10 months ago
2004
Springer
This paper suggests a method called Trust-but-Verify that may turn DHT-based peer-to-peer systems into systems that are provably robust against even massive adversarial attacks.