148 search results - page 22 / 30 » The Challenges of Hardware Synthesis from C-Like Languages |
ISMVL
2010
IEEE
15 years 5 months ago
2010
IEEE
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
87
Voted
ICST
2008
IEEE
15 years 6 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
94
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
DEIRA is a virtual agent commenting on virtual horse races in real time. DEIRA analyses the state of the race, acts emotionally and comments about the situation in a believable an...
100
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...
111
Voted
ICCD
2003
IEEE
15 years 9 months ago
2003
IEEE
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...