409 search results - page 57 / 82 » Functional Validation of Programmable Architectures |
141
click to vote
WETICE
2005
IEEE
15 years 8 months ago
2005
IEEE
System theory propagates the use of models which e level of abstraction to cope with complexity, evolving out of variety and connectivity. Different modeling techniques have been ...
145
click to vote
ASWSD
2004
Springer
15 years 8 months ago
2004
Springer
– A safety-critical real-time computer system must provide its services with a dependability that is much better than the dependability of any one of its constituent components. ...
117
click to vote
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Reconfigurable Systems-on-Chip (SoCs) on the market consist of full-fledged processors and large Field-Programmable Gate-Arrays (FPGAs). The latter can be used to implement the sy...
151
click to vote
APPT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Grid computing is becoming a mainstream technology for multiinstitutional distributed resources sharing and system integration. Normally, the programmer's productivi...
134
click to vote
LFP
1992
15 years 4 months ago
1992
Tag handling accounts for a substantial amount of execution cost in latently typed languages such as Common LISP and Scheme, especially on architectures that provide no special ha...