5924 search results - page 205 / 1185 » Normal Process Representatives |
176
click to vote
DAC
2000
ACM
15 years 10 months ago
2000
ACM
Abstract: This paper presents a new statistical methodology to simulate the effect of both inter-die and intra-die variation on the electrical performance of analog integrated circ...
169
click to vote
CN
2004
15 years 6 months ago
2004
The problem of testing from an SDL specification is often complicated by the presence of infeasible paths. This paper introduces an approach for transforming a class of SDL specif...
159
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
We study decision problems for parameterized verification of a formal model of Ad Hoc Networks with selective broadcast and spontaneous movement. The communication topology of a ne...
175
click to vote
FUIN
2007
15 years 6 months ago
2007
The paper is concerned with algebras whose elements can be used to represent runs of a system, called processes. These algebras, called behaviour algebras, are categories with resp...
149
click to vote
MICCAI
2008
Springer
16 years 7 months ago
2008
Springer
This paper presents an interactive system for the annotation of brain anatomical structures in Magnetic Resonance Images. The system is based on hybrid knowledge and techniques. Fi...