2343 search results - page 132 / 469 » Structure and Interpretation of Computer Programs |
149
click to vote
LISP
2008
15 years 4 months ago
2008
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...
175
Voted
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
130
click to vote
SIGITE
2004
ACM
15 years 10 months ago
2004
ACM
There are efforts underway to define each of several flavors of computing disciplines, including computer science, computer engineering, information science, information technolog...
157
click to vote
PRICAI
2004
Springer
15 years 10 months ago
2004
Springer
MicroRNA (miRNA), one of non-coding RNAs (ncRNAs), regulates gene expression directly by arresting the messenger RNA (mRNA) translation, which is important for identifying putative...
144
click to vote
ICALP
2005
Springer
15 years 10 months ago
2005
Springer
d Abstract) MohammadReza Mousavi and Michel A. Reniers Department of Computer Science, Eindhoven University of Technology, NL-5600MB Eindhoven, The Netherlands Abstract. In this pa...