1557 search results - page 110 / 312 » Programming up to Congruence |
PLDI
2003
ACM
15 years 4 months ago
2003
ACM
Interpreters designed for efficiency execute a huge number of indirect branches and can spend more than half of the execution time in indirect branch mispredictions. Branch target...
ICALP
2003
Springer
15 years 4 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
The release of general purpose GPU programming environments has garnered universal access to computing performance that was once only available to super-computers. The availability...
ICALP
2010
Springer
15 years 4 months ago
2010
Springer
We associate a CNF-formula to every instance of the mean-payoff game problem in such a way that if the value of the game is non-negative the formula is satisfiable, and if the va...
CAISE
2001
Springer
15 years 3 months ago
2001
Springer
Information System Engineering has become under increasing pressure to come up with software solutions that endow systems with the agility that is required to evolve in a continual...