4285 search results - page 178 / 857 » Differential Behavioral Analysis |
194
click to vote
EURODAC
1995
IEEE
15 years 10 months ago
1995
IEEE
A three level software system for thermal analysis of semiconductor devices, one-chip monolith IC's, multi-chip modules (MCM) and hybrid IC's is presented. For each desig...
176
click to vote
SERP
2004
15 years 8 months ago
2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
147
click to vote
ISCAS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, the problem of determining if a given sequential specification can be made to fit a predetermined set of shape constraints is explored. Shape constraints are constr...
201
click to vote
FAABS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Agent-based systems that are composed of simple locally interacting agents but which demonstrate complex group behavior o er several advantages over traditional multi-age...
205
click to vote
DKE
2007
15 years 6 months ago
2007
Random walk graph and Markov chain based models are used heavily in many data and system analysis domains, including web, bioinformatics, and queuing. These models enable the desc...