Sciweavers

2065 search results - page 141 / 413
» P systems applications to systems biology
Sort
View
DATE
2008
IEEE
114views Hardware» more  DATE 2008»
16 years 28 days ago
Operating System Controlled Processor-Memory Bus Encryption
—Unencrypted data appearing on the processor– memory bus can result in security violations, e.g., allowing attackers to gather keys to financial accounts and personal data. Al...
Xi Chen, Robert P. Dick, Alok N. Choudhary
FM
2003
Springer
160views Formal Methods» more  FM 2003»
15 years 11 months ago
Translation-Based Compositional Reasoning for Software Systems
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
Fei Xie, James C. Browne, Robert P. Kurshan
CLUSTER
2006
IEEE
15 years 10 months ago
A Performance Instrumentation Framework to Characterize Computation-Communication Overlap in Message-Passing Systems
Effective overlap of computation and communication is a well understood technique for latency hiding and can yield significant performance gains for applications on high-end compu...
Aniruddha G. Shet, P. Sadayappan, David E. Bernhol...
DAIS
2008
15 years 7 months ago
Using Object Replication for Building a Dependable Version Control System
Object-oriented technologies are frequently used to design and implement distributed applications. Object replication is a well-established approach to increase the dependability f...
Rüdiger Kapitza, Peter Baumann, Hans P. Reise...
AMC
2007
87views more  AMC 2007»
15 years 6 months ago
Generalized Clenshaw-Curtis quadrature rule with application to a collocation least-squares method
This paper deals with an extension of one-dimensional Clenshaw–Curtis quadrature rule to Rd ; d P 2 on a convex domain. As one of its applications, we apply this quadrature rule...
Changho Kim, Sang Dong Kim, Jungho Yoon