6608 search results - page 1239 / 1322 » On the Completeness of Model Checking |
164
click to vote
DATE
2008
IEEE
16 years 23 days ago
2008
IEEE
We present a novel methodology for design space exploration using a two-steps scheme to optimize the number of virtual channel buffers (buffers take the premier share of the route...
176
click to vote
ICRA
2008
IEEE
16 years 22 days ago
2008
IEEE
— Local linearizations are ubiquitous in the control of robotic systems. Analytical methods, if available, can be used to obtain the linearization, but in complex robotics system...
210
click to vote
AB
2008
Springer
16 years 19 days ago
2008
Springer
A specific class of ODEs has been shown to be adequate to describe the essential features of the complex dynamics of Gene-Regulatory Networks (GRN). But, the effective exploitatio...
207
click to vote
ICTAI
2007
IEEE
16 years 18 days ago
2007
IEEE
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
133
click to vote
INFOCOM
2007
IEEE
16 years 18 days ago
2007
IEEE
—Existing methods of measuring lifetimes in P2P systems usually rely on the so-called Create-Based Method (CBM) [16], which divides a given observation window into two halves and...