4150 search results - page 635 / 830 » A Practical Approach to Model Extension |
127
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
142
click to vote
VLSID
2001
IEEE
16 years 4 months ago
2001
IEEE
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
120
click to vote
WISTP
2009
Springer
15 years 11 months ago
2009
Springer
Since their publication in 1996, Fault Attacks have been widely studied from both theoretical and practical points of view and most of cryptographic systems have been shown vulnera...
128
Voted
EUROPAR
2009
Springer
15 years 10 months ago
2009
Springer
With the gradual adoption of publish/subscribe systems in mission critical areas, it is essential that systems are subjected to rigorous performance analysis before they are put in...
137
click to vote
PKDD
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we propose a system to solve a language game, called Guillotine, which requires a player with a strong cultural and linguistic background knowledge. The player obser...