7047 search results - page 16 / 1410 » Focusing on Binding and Computation |
ASPDAC
2005
ACM
15 years 5 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...
420
Voted
HCI
2009
14 years 9 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
15 years 5 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
15 years 3 months ago
2006
Springer
LJQ is a focused sequent calculus for intuitionistic logic, with
TRIDENTCOM
2008
IEEE
15 years 6 months ago
2008
IEEE