533 search results - page 31 / 107 » Protocol synthesis from timed and structured specifications |
76
Voted
EURONGI
2006
Springer
15 years 1 months ago
2006
Springer
Structured overlay networks is an important and interesting primitive that can be used by diverse peer-to-peer applications. Multiple overlays can result either because of network ...
88
Voted
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
BMCBI
2008
14 years 9 months ago
2008
Background: The methodologies we use both enable and help define our research. However, as experimental complexity has increased the choice of appropriate methodologies has become...
VLSID
2002
IEEE
15 years 10 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
ICCAD
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we present a reduced order inodeling methodology, based on the utilization of optimal non-uniform grids generated by Gaussian spectral rules, for the direct passive...