Sciweavers

814 search results - page 82 / 163
» Analysis of Modular Arithmetic
Sort
View
96
Voted
VMCAI
2004
Springer
15 years 3 months ago
Automatic Inference of Class Invariants
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
Francesco Logozzo
IAT
2009
IEEE
15 years 2 months ago
Efficient Distributed Bayesian Reasoning via Targeted Instantiation of Variables
Abstract--This paper is focusing on exact Bayesian reasoning in systems of agents, which represent weakly coupled processing modules supporting collaborative inference through mess...
Patrick de Oude, Gregor Pavlin
93
Voted
ANSS
2007
IEEE
15 years 4 months ago
Performance Analysis of an Optimistic Simulator for CD++
DEVS is a formalism to describe generic dynamic systems in a hierarchical and modular way. We present new techniques for executing DEVS and CellDEVS models in parallel and distrib...
Qi Liu, Gabriel A. Wainer
DDECS
2007
IEEE
143views Hardware» more  DDECS 2007»
15 years 4 months ago
An Experimental Analysis of SEU Sensitiveness on System Knowledge-based Hardening Techniques
Logic Soft Errors caused by radiation are a major concern when working with circuits that need to operate in harsh environments, such as space or avionics applications, where soft ...
Oscar Ruano, Pilar Reyes, Juan Antonio Maestro, Lu...
FOSSACS
2006
Springer
15 years 1 months ago
Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...
Michael Backes, Sebastian Mödersheim, Birgit ...