7047 search results - page 16 / 1410 » Focusing on Binding and Computation |
ASPDAC
2005
ACM
14 years 3 months ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...
HCI
2009
13 years 7 months ago
2009
Abstract. Social psychologists have documented that people attribute a humanlike agency to computers. Work in human motor cognition has identified a related effect known as "i...
PVM
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The Fortran language has evolved substantially from the Fortran 77 bindings defined in the MPI-1 (Message Passing Interface) standard. Fortran 90 introduced interface bl...
CIE
2006
Springer
14 years 1 months ago
2006
Springer
LJQ is a focused sequent calculus for intuitionistic logic, with
TRIDENTCOM
2008
IEEE
14 years 4 months ago
2008
IEEE