3614 search results - page 296 / 723 » Numerical Computing with MATLAB |
152
click to vote
ICCSA
2005
Springer
16 years 8 days ago
2005
Springer
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...
154
click to vote
ISSAC
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes a new method for computing the normal form of a polynomial modulo a zero-dimensional ideal I. We give a detailed description of the algorithm, a proof of its ...
151
click to vote
RTA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract In order to extend the modeling capabilities of rewriting systems, it is rather natural to consider that the firing of rules can be subject to some probabilistic laws. Co...
185
click to vote
PASTE
2004
ACM
16 years 5 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
153
click to vote
ICCS
2004
Springer
16 years 3 days ago
2004
Springer
Shadow Hybrid Monte Carlo (SHMC) is a new method for sampling the phase space of large biological molecules. It improves sampling by allowing larger time steps and system sizes in ...