Sciweavers

7785 search results - page 1198 / 1557
» The Concept of Dynamic Analysis
Sort
View
FPGA
2004
ACM
120views FPGA» more  FPGA 2004»
16 years 8 days ago
Flexibility measurement of domain-specific reconfigurable hardware
Traditional metrics used to compare hardware designs include area, performance, and power. However, these metrics do not form a complete evaluation of reconfigurable hardware. For...
Katherine Compton, Scott Hauck
OOPSLA
2004
Springer
16 years 7 days ago
Modular generics
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
Jeremy G. Siek
ACSC
2003
IEEE
16 years 5 days ago
Symbol Grounding and its Implications for Artificial Intelligence
In response to Searle's well-known Chinese room argument against Strong AI (and more generally, computationalism), Harnad proposed that if the symbols manipulated by a robot ...
Michael J. Mayo
CSFW
2003
IEEE
16 years 5 days ago
Understanding SPKI/SDSI Using First-Order Logic
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
Ninghui Li, John C. Mitchell
CW
2003
IEEE
16 years 5 days ago
Virtual Experiment Environments Design for Science Education
Virtual reality technology is reported that the use of virtual reality(VR) as an educational tool can increase student interests, understanding and creative learning because of en...
Young-suk Shin
« Prev « First page 1198 / 1557 Last » Next »