531 search results - page 70 / 107 » Formal Methods for Networks on Chips |
95
Voted
BMCBI
2010
15 years 28 days ago
2010
Background: It has been long well known that genes do not act alone; rather groups of genes act in consort during a biological process. Consequently, the expression levels of gene...
102
Voted
SAC
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing...
126
Voted
ASE
2004
15 years 20 days ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...
127
click to vote
EUSFLAT
2007
15 years 2 months ago
2007
At present time configurable wireless sensor networks are given special consideration. Wireless sensor networks are now a static elements union. To make such a network a powerful ...
110
click to vote
IWCMC
2009
ACM
15 years 7 months ago
2009
ACM
This paper presents the application of cognitive algorithm for a stream diffusion in home theatre “5+1 audio” surround applications. We develop a wavelet-based method to effic...