2756 search results - page 377 / 552 » Computation-Centric Memory Models |
136
click to vote
MASCOTS
2003
15 years 5 months ago
2003
Modeling the Internet infrastructure is a challenging endeavor. Complex interactions between protocols, increasing traffic volumes and the irregular structure of the Internet lea...
134
click to vote
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
Automated analysis of unstructured text documents (e.g., web pages, newswire articles, research publications, business reports) is a key capability for solving important problems ...
142
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
The latest communication technologies invariably consist of modules with dynamic behavior. There exists a number of design tools for communication system design with their foundat...
144
click to vote
FMSD
2006
15 years 4 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...
127
click to vote
FMSD
2006
15 years 4 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...