1362 search results - page 238 / 273 » Model Checking Large Network Protocol Implementations |
145
click to vote
ANSS
2008
IEEE
15 years 8 months ago
2008
IEEE
Grid technologies are emerging as the next generation of distributed computing, allowing the aggregation of resources that are geographically distributed across different location...
125
click to vote
MPC
2010
Springer
15 years 6 months ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...
122
click to vote
CCGRID
2002
IEEE
15 years 7 months ago
2002
IEEE
Despite the large research efforts in the SW–DSM community, this technology has not yet been adapted widely for significant codes beyond benchmark suites. One of the reasons co...
121
click to vote
CISS
2007
IEEE
15 years 8 months ago
2007
IEEE
— We consider a sensor network in which the sensors communicate at will when they have something to report, without prior coordination with other sensors or with data collection ...
121
click to vote
ASAP
2003
IEEE
15 years 7 months ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...