2216 search results - page 380 / 444 » Hedging Structured Concepts |
139
click to vote
IEEECIT
2010
IEEE
15 years 1 months ago
2010
IEEE
—Superblocks represent regions in a program code that consist of multiple basic blocks. Compilers benefit from this structure since it enables optimization across block boundari...
141
click to vote
JACM
2010
15 years 1 months ago
2010
A temporal constraint language is a set of relations that has a first-order definition in (Q, <), the dense linear order of the rational numbers. We present a complete comple...
142
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
148
click to vote
PAAMS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract Monitoring the runtime behaviour of a distributed agent system for debugging or demonstration purposes provides a challenge to agent system developers. As a lot of the com...
126
click to vote
POPL
2010
ACM
15 years 1 months ago
2010
ACM
S-NET is a declarative coordination language and component technology aimed at modern multi-core/many-core architectures and systems-on-chip. It builds on the concept of stream pr...