2468 search results - page 247 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
149
click to vote
ECOOPW
1998
Springer
15 years 8 months ago
1998
Springer
This workshop focussed on the requirements for tools and environments that support business rules in an object-oriented setting and attempted to provide an overview of possible tec...
169
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Mathematical modeling is being applied to increasingly complex biological systems and datasets; however, the process of analyzing and calibrating against experimental ...
134
click to vote
ICSAP
2010
15 years 6 months ago
2010
- This paper describes a novel algorithm designed for tamper proofing of 3D models. Fragile watermarking is a known technique for detecting location of tamper in the artwork. Howev...
152
click to vote
DATE
2009
IEEE
2009
IEEE
Analyzing the impact of process variations on parametric measurements: Novel models and applications
15 years 11 months ago
Abstract—In this paper we propose a novel statistical framework to model the impact of process variations on semiconductor circuits through the use of process sensitive test stru...
118
click to vote
ACSD
2010
IEEE
15 years 2 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...