933 search results - page 65 / 187 » Structure and Dynamics of Research Collaboration in Computer... |
134
click to vote
ICCAD
2004
IEEE
16 years 22 days ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
131
click to vote
ITICSE
1996
ACM
15 years 8 months ago
1996
ACM
Scientific visualization is becoming an important part of the curriculum in a number of disciplines. It is a very practical subject, but the commercially available visualization s...
135
Voted
ESWS
2005
Springer
15 years 9 months ago
2005
Springer
—Grid computing offers significant enhancements to our capabilities for computation, information processing and collaboration, and has exciting ambitions in many fields of endeav...
119
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
Approximations can aim at having close to optimal value or, alternatively, they can aim at structurally resembling an optimal solution. Whereas value-approximation has been extensi...
111
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
A variety of computation models have been developed using graphs and graph transformations. These include models for sequential, distributed, parallel or mobile computation. A grap...