3169 search results - page 181 / 634 » A General Framework for Large Scale Systems Development |
168
click to vote
TIT
2010
14 years 11 months ago
2010
Abstract--The role of multiple antennas for secure communication is investigated within the framework of Wyner's wiretap channel. We characterize the secrecy capacity in terms...
144
Voted
ISPD
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we develop a mixed-size placement tool, Dragon2005, to solve large scale placement problems effectively. A top-down hierarchical approach based on min-cut partition...
141
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
142
click to vote
SIGCSE
2005
ACM
15 years 10 months ago
2005
ACM
Operating system courses teach students much more when they provide hands-on kernel-level project experience with a real operating system. However, enabling a large class of stude...
135
Voted
COMPSAC
1998
IEEE
15 years 9 months ago
1998
IEEE
A major problem in the development of distributed applications is that we cannot assume that the environment in which the application is to operate will remain the same. This mean...