1202 search results - page 177 / 241 » Sortings for Reactive Systems |
145
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
160
click to vote
CLUSTER
2005
IEEE
15 years 10 months ago
2005
IEEE
Data intensive applications on clusters often require requests quickly be sent to the node managing the desired data. In many applications, one must look through a sorted tree str...
130
click to vote
MIR
2004
ACM
15 years 9 months ago
2004
ACM
With digital still cameras, users can easily collect thousands of photos. We have created a photo management application with the goal of making photo organization and browsing si...
135
click to vote
CONTEXT
1999
Springer
15 years 8 months ago
1999
Springer
When modelling complex systems one can not include all the causal factors, but one has to settle for partial models. This is alright if the factors left out are either so constant...
136
click to vote
SPAA
1997
ACM
15 years 8 months ago
1997
ACM
Pipelining has been used in the design of many PRAM algorithms to reduce their asymptotic running time. Paul, Vishkin, and Wagener (PVW) used the approach in a parallel implementat...