15636 search results - page 33 / 3128 » Modelling by supersaturated designs |
113
click to vote
MTV
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper we will present an optimized structural 01X-SAT-solver for bounded model checking of blackbox designs that exploits semantical knowledge regarding the node selection...
97
Voted
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
The paper introduces a system model called the probabilistic asynchronous model which characterises the context in which many practical and the Internet-based applications are bui...
ISER
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents the design of a selective-actuation flexure parallel mechanism that can provide three independent translational motions. The mechanism can be used as an ultra p...
206
click to vote
AIMDM
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Images and computer graphics play an increasingly important role in the design and manufacture of medical prostheses and implants. Images provide guidance on optimal desi...
122
Voted
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...