3001 search results - page 140 / 601 » Recursive type generativity |
158
click to vote
JUCS
2008
15 years 6 months ago
2008
: Despite all the advance brought by LALR parsing method by DeRemer in the late 60's, conflicts continue to be removed in a non-productive way, by means of analysis of a huge ...
182
click to vote
COMPSAC
2007
IEEE
16 years 18 days ago
2007
IEEE
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
152
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
116
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
A system-on-chip lock cache (SoCLC) is an intellectual property (IP) core that provides effective lock synchronization in a heterogeneous multiprocessor shared-memory system-on-ac...
168
click to vote
ACL
2007
15 years 7 months ago
2007
This paper presents a method for the automatic generation of a table-of-contents. This type of summary could serve as an effective navigation tool for accessing information in lon...