322 search results - page 43 / 65 » A Case Study of Hardware and Software Synthesis in ForSyDe |
CAV
2000
Springer
13 years 11 months ago
2000
Springer
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
ISCA
2012
IEEE
11 years 10 months ago
2012
IEEE
There have been many attacks that exploit side-effects of program execution to expose secret information and many proposed countermeasures to protect against these attacks. Howeve...
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
AEI
2006
13 years 7 months ago
2006
The worldwide population of elderly people is growing rapidly and in the coming decades the proportion of older people in the developed countries will change significantly. This d...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...