Sciweavers

11653 search results - page 117 / 2331
» The Development of the C Language
Sort
View
POPL
2005
ACM
14 years 10 months ago
A bisimulation for type abstraction and recursion
traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania
Eijiro Sumii, Benjamin C. Pierce
ICCL
1998
IEEE
14 years 1 months ago
A Conservative Technique to Improve Deterministic Evaluation of Logic Programs
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...
POS
1992
Springer
14 years 1 months ago
Persistent Hyper-Programs
Graham N. C. Kirby, Richard C. H. Connor, Quintin ...
DATE
2009
IEEE
130views Hardware» more  DATE 2009»
14 years 4 months ago
Evaluating UML2 modeling of IP-XACT objects for automatic MP-SoC integration onto FPGA
—IP-XACT is a standard for describing intellectual property metadata for System-on-Chip (SoC) integration. Reesearchers have proposed visualizing and abstracting IP-XACT objects ...
Tero Arpinen, Tapio Koskinen, Erno Salminen, Timo ...