6355 search results - page 1259 / 1271 » From Logic to Games |
120
Voted
SIGARCH
2008
15 years 1 months ago
2008
Conventional programming models were designed to be used by expert programmers for programming for largescale multiprocessors, distributed computational clusters, or specialized p...
155
Voted
SIGMETRICS
2008
ACM
15 years 1 months ago
2008
ACM
Memory trace analysis is an important technology for architecture research, system software (i.e., OS, compiler) optimization, and application performance improvements. Many appro...
117
click to vote
SIGPLAN
2008
15 years 1 months ago
2008
It is argued that the teaching of programming is central to the education of skilled computer professionals, that the teaching of programming languages is central to the teaching ...
132
Voted
ASE
2005
15 years 1 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
141
click to vote
IPM
2007
15 years 1 months ago
2007
We consider a network of autonomous peers forming a logically global but physically distributed search engine, where every peer has its own local collection generated by independe...