7693 search results - page 312 / 1539 » Design and Implementation of the FRIENDS System |
175
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Since its first release the system level language SystemC had a significant impact on various areas in VLSI-CAD. One remarkable benefit of SystemC lies in the of abstraction le...
194
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
167
click to vote
ISCAPDCS
2008
15 years 8 months ago
2008
Abstract -- At the present time, when the usage of supercomputers has been brought into play and turned out to be more widespread, the research of Asymmetric Operating Systems has ...
148
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
184
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
This demonstration presents the concepts, design, and implementation of SCDE, a relational database systems extended with the ability to solve constraint satisfaction problems (CS...