1358 search results - page 196 / 272 » Diverse Firewall Design |
FPGA
1998
ACM
15 years 4 months ago
1998
ACM
In this paper, we present an algorithm for circuit partitioning with complex resource constraints in large FPGAs. Traditional partitioning methods estimate the capacity of an FPGA...
106
click to vote
ADL
1998
Springer
15 years 4 months ago
1998
Springer
The New Zealand Digital Library offers several collections of information over the World Wide Web. Although fulltext indexing is the primary access mechanism, musical collections ...
LICS
1996
IEEE
15 years 4 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...
105
click to vote
CSCW
1996
ACM
15 years 4 months ago
1996
ACM
This empirical study examines factors influencing the success of a commercial groupware system in creating group archives and supporting asynchronous communication. The study inve...
106
click to vote
HPDC
1993
IEEE
15 years 4 months ago
1993
IEEE
The Numerical Propulsion System Simulation (NPSS) project has been initiated by NASA to explore the use of computer simulation in the development of new aircraft propulsion techno...