7971 search results - page 49 / 1595 » On unbounded operators and applications |
115
Voted
DKE
2007
15 years 21 days ago
2007
Random walk graph and Markov chain based models are used heavily in many data and system analysis domains, including web, bioinformatics, and queuing. These models enable the desc...
104
Voted
CLUSTER
2009
IEEE
15 years 7 months ago
2009
IEEE
—Parallel netCDF (PnetCDF) is a popular library used in many scientific applications to store scientific datasets. It provides high-performance parallel I/O while maintaining ...
109
Voted
LISA
2004
15 years 2 months ago
2004
Server consolidation, which allows multiple workloads to run on the same system, has become increasingly important as a way to improve the utilization of computing resources and r...
155
Voted
FOSAD
2009
Springer
15 years 7 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
DSD
2006
IEEE
15 years 6 months ago
2006
IEEE
— An on-chip communication network is most power efficient when it operates just below the saturation point. For any given traffic load the network can be operated in this regi...