425 search results - page 38 / 85 » Automated Synthesis of Multitolerance |
158
Voted
FPL
2006
Springer
15 years 7 months ago
2006
Springer
Emerging embedded System-on-Chip (SoC) platforms are increasingly becoming multiprocessor architectures. The advances in the FPGA chip technology make the implementation of such a...
103
Voted
COMPSAC
2007
IEEE
15 years 5 months ago
2007
IEEE
112
Voted
ISCAICIS
2000
15 years 5 months ago
2000
143
Voted
CADE
2010
Springer
15 years 4 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
95
Voted
CGA
2005
15 years 3 months ago
2005