1559 search results - page 192 / 312 » The Semantics of Future and Its Use in Program Optimizations |
173
click to vote
WICSA
2001
15 years 7 months ago
2001
During the past decade, object-orientation (OO) has become the dominant software development methodology, accompanied by a number of modeling notations, programming languages, and...
201
click to vote
CASES
2004
ACM
15 years 11 months ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
180
Voted
RV
2010
Springer
15 years 4 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
185
click to vote
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
This paper proposes new network interface controller (NIC) designs that take advantage of integration with the host CPU to provide increased flexibility for operating system kerne...
141
click to vote
COR
2008
15 years 6 months ago
2008
Introducing a new concept of (, )-fairness, which allows for a bounded fairness compromise, so that a source is allocated a rate neither less than 0 1, nor more than 1, times...