11066 search results - page 1837 / 2214 » Linearity in Process Languages |
198
click to vote
VLDB
2005
ACM
16 years 6 days ago
2005
ACM
In recent years, publish-subscribe (pub-sub) systems based on XML document filtering have received much attention. In a typical pubsub system, subscribed users specify their inte...
224
click to vote
CASES
2004
ACM
16 years 4 days 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...
167
click to vote
ICALP
2004
Springer
16 years 3 days ago
2004
Springer
Consider the classical online scheduling problem where jobs that arrive one by one are assigned to identical parallel machines with the objective of minimizing the makespan. We gen...
182
click to vote
IFM
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
207
click to vote
CASES
2003
ACM
15 years 12 months ago
2003
ACM
Bank locality can be defined as localizing the number of load/store accesses to a small set of memory banks at a given time. An optimizing compiler can modify a given input code t...