17920 search results - page 192 / 3584 » Recentering computer science |
121
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
Recent development in computer hardware has brought more wide-spread emergence of shared-memory, multi-core systems. These architectures offer opportunities to speed up various ta...
130
click to vote
ITICSE
2004
ACM
15 years 10 months ago
2004
ACM
In this paper we describe how XML can be introduced into a compiler construction course. We make the case that XML and compilers have much in common, and that introducing XML into...
181
Voted
RTA
2011
Springer
14 years 7 months ago
2011
Springer
Given an equational system, completion procedures compute an equivalent and complete (terminating and confluent) term rewrite system. We present a very simple and efficient compl...
141
Voted
KSEM
2010
Springer
15 years 2 months ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
131
click to vote
CSIE
2009
IEEE
15 years 9 months ago
2009
IEEE
We review some recent progress in improving the speed of electron microscope tomography through highly parallel algorithms implemented on parallel computers, clusters and graphics...