2343 search results - page 352 / 469 » Structure and Interpretation of Computer Programs |
178
click to vote
MOBIHOC
2003
ACM
16 years 4 months ago
2003
ACM
A central challenge in ad hoc networks is the design of routing protocols that can adapt their behavior to frequent and rapid changes in the network. The performance of proactive ...
164
Voted
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
173
click to vote
NOCS
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a methodology to debug a SOC by concentrating on its communication. Our extended communication model includes a) multiple signal groups per interface protocol at each I...
155
Voted
BIODATAMINING
2008
15 years 5 months ago
2008
During the past two decades, the field of human genetics has experienced an information explosion. The completion of the human genome project and the development of high throughpu...
138
Voted
BMCBI
2006
15 years 5 months ago
2006
Background: Despite recent algorithmic and conceptual progress, the stoichiometric network analysis of large metabolic models remains a computationally challenging problem. Result...