571 search results - page 101 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
EUROPAR
2007
Springer
14 years 1 months ago
2007
Springer
We study the connectivity properties of a family of random graphs which closely model the Bluetooth’s device discovery process, where each device tries to connect to other device...
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an approach...
EVOW
2003
Springer
14 years 29 days ago
2003
Springer
Evolutionary Algorithms (EAs) have been proposed as a very powerful heuristic optimization technique to solve complex problems. Many case studies have shown that they work very eff...
ISSS
1998
IEEE
13 years 12 months ago
1998
IEEE
This paper describes a methodology for synthesizing the data-path of a Very Long Instruction Word (VLIW) based Video Signal Processor (VSP). Offering both performance and programm...
AVI
2006
13 years 9 months ago
2006
Teams that are geographically distributed often share information both in real-time and asynchronously. When such sharing is through groupware, change conflicts can arise when peo...