126 search results - page 14 / 26 » Using Formal Tools to Study Complex Circuits Behaviour |
105
Voted
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
90
Voted
PDP
2007
IEEE
15 years 6 months ago
2007
IEEE
As the use of complex grid middleware becomes widespread and more facilites are offered by these pieces of software, distributed Grid applications are becoming more and more popul...
100
click to vote
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...
94
Voted
FUIN
2008
14 years 11 months ago
2008
Spiking neural P systems simulate the behavior of neurons sending signals through axons. Recently, some applications concerning Boolean circuits and sorting algorithms have been pr...
GRID
2006
Springer
14 years 11 months ago
2006
Springer
Distributed Grid applications are becoming more and more popular as the use of complex grid middlewares becomes extensive, and more facilities are offered by these complex pieces o...