2604 search results - page 310 / 521 » General constant expressions for system programming language... |
133
click to vote
TSE
2008
15 years 4 months ago
2008
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
157
click to vote
ENTCS
2006
15 years 4 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
111
Voted
IANDC
2007
15 years 4 months ago
2007
ectly-synchronized round-based model provides the powerful abstraction of op failures with atomic and synchronous message delivery. This abstraction makes distributed programming ...
218
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
Traditional client-server applications relegate query and persistence operations on their data to database systems. The database system operates on data in the form of rows and ta...
124
click to vote
CC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. This paper deals with coalescing in SSA-based register allocation. Current coalescing techniques all require the interference graph to be built. This is generally conside...