148 search results - page 22 / 30 » The Challenges of Hardware Synthesis from C-Like Languages |
153
click to vote
ISMVL
2010
IEEE
15 years 11 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 ...
144
click to vote
ICST
2008
IEEE
16 years 13 days 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...
179
click to vote
ATAL
2008
Springer
15 years 8 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...
164
click to vote
EMSOFT
2005
Springer
15 years 11 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 ...
164
click to vote
ICCD
2003
IEEE
16 years 3 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...