Sciweavers

1931 search results - page 256 / 387
» Managing coherent groups
Sort
View
WMRD
1992
15 years 10 months ago
A Replicated Monitoring Tool
Modeling the reliability of distributed systems requires a good understanding of the reliability of the components. Careful modeling allows highly fault-tolerant distributed appli...
Darrell D. E. Long
ARITH
2007
IEEE
15 years 10 months ago
Robust Energy-Efficient Adder Topologies
In this paper we explore the relationship between adder topology and energy efficiency. We compare the energy-delay tradeoff curves of selected 32-bit adder topologies, to determi...
Dinesh Patil, Omid Azizi, Mark Horowitz, Ron Ho, R...
ATVA
2007
Springer
134views Hardware» more  ATVA 2007»
15 years 10 months ago
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
Moonzoo Kim
CIKM
2009
Springer
15 years 10 months ago
Blog cascade affinity: analysis and prediction
Information propagation within the blogosphere is of much importance in implementing policies, marketing research, launching new products, and other applications. In this paper, w...
Hui Li, Sourav S. Bhowmick, Aixin Sun
GTTSE
2007
Springer
15 years 10 months ago
Modelling the Operational Semantics of Domain-Specific Modelling Languages
Domain-specific modelling languages provide modelling means tailored to a particular domain. In Model-driven Engineering, it is common practice to specify such languages by modelli...
Guido Wachsmuth