6229 search results - page 257 / 1246 » Models of Computation for Networks on Chip |
165
click to vote
ICWE
2010
Springer
15 years 3 months ago
2010
Springer
This position paper describes an approach to predict the performances of a Web application already in the early stages of application development. It leverages the wealth of inform...
151
click to vote
WIOPT
2010
IEEE
15 years 3 months ago
2010
IEEE
—We consider a Ferry based Wireless Local Area Network (FWLAN), in which information is forwarded from a base station to sensors, or gathered from sensors to a base station using...
173
click to vote
SAC
2002
ACM
15 years 4 months ago
2002
ACM
We present a generic mobility and traffic generation framework that can be incorporated into a tool for modeling and simulating large scale ad hoc networks. Three components of thi...
144
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: MicroRNAs (miRNAs) play an essential task in gene regulatory networks by inhibiting the expression of target mRNAs. As their mRNA targets are genes involved in importa...
175
click to vote
AB
2007
Springer
15 years 11 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...