11151 search results - page 2117 / 2231 » On the Complexity of Model Expansion |
102
Voted
HPCA
2005
IEEE
16 years 1 months ago
2005
IEEE
Improvements in semiconductor technology now enable Chip Multiprocessors (CMPs). As many future computer systems will use one or more CMPs and support shared memory, such systems ...
221
Voted
POPL
2008
ACM
16 years 28 days ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
222
click to vote
POPL
2008
ACM
16 years 28 days ago
2008
ACM
Self-adjusting computation enables writing programs that can automatically and efficiently respond to changes to their data (e.g., inputs). The idea behind the approach is to stor...
214
Voted
POPL
2006
ACM
16 years 28 days ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
199
Voted
POPL
2006
ACM
16 years 28 days ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...