17366 search results - page 3329 / 3474 » New Revision Algorithms |
134
click to vote
ISQED
2006
IEEE
15 years 11 months ago
2006
IEEE
— In this paper, we propose an efficient model order reduction (MOR) algorithm, called MTermMOR, for modeling interconnect circuits with large number of external ports. The prop...
138
click to vote
LICS
2006
IEEE
15 years 11 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
150
click to vote
NOMS
2006
IEEE
15 years 11 months ago
2006
IEEE
— Firewall is the de facto core technology of today's network security and defense. However, the management of firewall rules has been proven to be complex, error-prone, cos...
148
Voted
SEFM
2006
IEEE
15 years 11 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
136
click to vote
SSDBM
2006
IEEE
15 years 11 months ago
2006
IEEE
In many modern applications, there are no exact values available to describe the data objects. Instead, the feature values are considered to be uncertain. This uncertainty is mode...