1895 search results - page 155 / 379 » Modular Functional Descriptions |
109
click to vote
ITC
2000
IEEE
15 years 6 months ago
2000
IEEE
In this paper we present a design for IEEE 1149.1 Test Access Port (TAP)controllers that is based on a practical reuse methodology. While the basic use and core functionality of T...
122
click to vote
NDSS
2000
IEEE
15 years 6 months ago
2000
IEEE
We propose a host architecture for secure IP multicast. We identify the basic components of the architecture, describe their functionalities and how they interact with one another...
133
click to vote
LCN
1996
IEEE
15 years 6 months ago
1996
IEEE
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
134
Voted
LION
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present EvA2, a comprehensive metaheuristic optimization framework with emphasis on Evolutionary Algorithms. It presents a modular structure of interfaces and abstract...
112
click to vote
ITP
2010
15 years 6 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...