Sciweavers

10289 search results - page 116 / 2058
» Standard bases in K
Sort
View
FMICS
2007
Springer
16 years 15 days ago
An Approach to Formalization and Analysis of Message Passing Libraries
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
Robert Palmer, Michael Delisi, Ganesh Gopalakrishn...
WSC
2008
15 years 8 months ago
Comparison of bayesian priors for highly reliable limit models
Limit standards are probability interval requirements for proportions. Simulation literature has focused on finding the confidence interval of the population proportion, which is ...
Roy R. Creasey Jr., K. Preston White, Linda B. Wri...
ICC
2007
IEEE
133views Communications» more  ICC 2007»
16 years 20 days ago
Application Composition in the SIP Servlet Environment
—The SIP servlet standard is a popular Java application programming interface (API) for developing and deploying Session Initiation Protocol (SIP) applications in Voice over IP (...
Eric Cheung, K. Hal Purdy
IPPS
1997
IEEE
15 years 10 months ago
Low Latency MPI for Meiko CS/2 and ATM Clusters
MPI (Message Passing Interface) is a proposed message passing standard for development of efficient and portable parallel programs. An implementation of MPI is presented and eval...
Chris R. Jones, Ambuj K. Singh, Divyakant Agrawal
CL
1999
Springer
15 years 6 months ago
Compositional Petri net models of advanced tasking in Ada-95
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...
Ravi K. Gedela, Sol M. Shatz, Haiping Xu