1301 search results - page 146 / 261 » Specifications via Realizability |
139
Voted
ICCAD
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--We present a methodology for implementing digital signal processing (DSP) operations such as filtering with biomolecular reactions. From a DSP specification, we demonstra...
148
Voted
EUSFLAT
2009
15 years 1 months ago
2009
The need for an automatic inference process able to deal with information coming from unreliable sources is becoming a relevant issue both on corporate networks and on the open Web...
111
Voted
TSMC
2010
14 years 10 months ago
2010
Social reasoning and norms among individuals that share cultural traits are largely fashioned by those traits. We have explored predominant sociological and cultural traits. We off...
167
Voted
POPL
2010
ACM
16 years 27 days ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...
129
Voted
POPL
2010
ACM
16 years 27 days ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...