VTechWorks Archives

Permanent URI for this community

https://hdl.handle.net/10919/25799

Browse

Now showing 1 - 20 of 18351

Survey of Approaches and Techniques for Security Verification of Computer Systems
Erata, Ferhat; Deng, Shuwen; Zaghloul, Faisal; Xiong, Wenjie; Demir, Onur; Szefer, Jakub (ACM)
This paper surveys the landscape of security verification approaches and techniques for computer systems at different levels: from a software-application level all the way to the physical hardware level. Different existing projects are compared, based on the tools used and security aspects being examined. Since many systems require both hardware and software components to work together to provide the system's promised security protections, it is not sufficient to verify just the software levels or just the hardware levels in a mutually exclusive fashion. This survey especially highlights system levels that are verified by the different existing projects and presents to the readers the state of the art in hardware and software system security verification. Few approaches come close to providing full-system verification, and there is still much room for improvement.
Memetic algorithms for Spatial Partitioning problems
Biswas, Subhodip; Chen, Fanglan; Chen, Zhiqian; Lu, Chang-Tien; Ramakrishnan, Naren (ACM)
Spatial optimization problems (SOPs) are characterized by spatial relationships governing the decision variables, objectives, and/or constraint functions. In this article, we focus on a specific type of SOP called spatial partitioning, which is a combinatorial problem due to the presence of discrete spatial units. Exact optimization methods do not scale with the size of the problem, especially within practicable time limits. This motivated us to develop population-based metaheuristics for solving such SOPs. However, the search operators employed by these population-based methods are mostly designed for real-parameter continuous optimization problems. For adapting these methods to SOPs, we apply domain knowledge in designing spatially-aware search operators for efficiently searching through the discrete search space while preserving the spatial constraints. To this end, we put forward a simple yet effective algorithm called SPATIAL and test it on the school (re)districting problem. Detailed experimental investigations are performed on real-world datasets to evaluate the performance of SPATIAL. Besides, ablation studies are performed to understand the role of the individual components of SPATIAL. Additionally, we discuss how SPATIAL is helpful in the real-life planning process, its applicability to different scenarios, and motivate future research directions.
The Bugle, 1895
(Virginia Agricultural and Mechanical College, 1895)
Yearbook for Virginia Agricultural and Mechanical College in Blacksburg, Virginia. The school would later become known as Virginia Tech. The yearbook includes information about the school as well as photographs and illustrations of the student body, teachers, organizations, and buildings.
The Bugle, 1896
(Virginia Polytechnic Institute, 1896)
Yearbook for Virginia Agricultural and Mechanical College and Polytechnic Institute in Blacksburg, Virginia. The school would later become known as Virginia Tech. The yearbook includes information about the school as well as photographs and illustrations of the student body, teachers, organizations, and buildings.
The Bugle, 1897
(Virginia Polytechnic Institute, 1897)
Yearbook for Virginia Agricultural and Mechanical College and Polytechnic Institute in Blacksburg, Virginia. The school would later become known as Virginia Tech. The yearbook includes information about the school as well as photographs and illustrations of the student body, teachers, organizations, and buildings.
The Bugle, 1900
(Virginia Polytechnic Institute, 1900)
Yearbook for Virginia Agricultural and Mechanical College and Polytechnic Institute in Blacksburg, Virginia. The school would later become known as Virginia Tech. The yearbook includes information about the school as well as photographs and illustrations of the student body, teachers, organizations, and buildings.
The Bugle, 1901
(Virginia Polytechnic Institute, 1901)
Yearbook for Virginia Agricultural and Mechanical College and Polytechnic Institute in Blacksburg, Virginia. The school would later become known as Virginia Tech. The yearbook includes information about the school as well as photographs and illustrations of the student body, teachers, organizations, and buildings.
The Bugle, 1902
(Virginia Polytechnic Institute, 1902)
Yearbook for Virginia Agricultural and Mechanical College and Polytechnic Institute in Blacksburg, Virginia. The school would later become known as Virginia Tech. The yearbook includes information about the school as well as photographs and illustrations of the student body, teachers, organizations, and buildings.
The Bugle, 1903
(Virginia Polytechnic Institute, 1903)
Yearbook for Virginia Agricultural and Mechanical College and Polytechnic Institute in Blacksburg, Virginia. The school would later become known as Virginia Tech. The yearbook includes information about the school as well as photographs and illustrations of the student body, teachers, organizations, and buildings.
The Bugle, 1904
(Virginia Polytechnic Institute, 1904)
Yearbook for Virginia Agricultural and Mechanical College and Polytechnic Institute in Blacksburg, Virginia. The school would later become known as Virginia Tech. The yearbook includes information about the school as well as photographs and illustrations of the student body, teachers, organizations, and buildings.
The Bugle, 1905
(Virginia Polytechnic Institute, 1905)
Yearbook for Virginia Agricultural and Mechanical College and Polytechnic Institute in Blacksburg, Virginia. The school would later become known as Virginia Tech. The yearbook includes information about the school as well as photographs and illustrations of the student body, teachers, organizations, and buildings.
Charter of the Southern Industrial Educational Association
Southern Industrial Educational Association (Southern Industrial Educational Association, 1906)
The object of this organization was to promote education "by the establishment of rural schools in which agriculture, horticulture, handicraft, and domestic science may be taught..."
The Bugle, 1906
(Virginia Polytechnic Institute, 1906)
Yearbook for Virginia Agricultural and Mechanical College and Polytechnic Institute in Blacksburg, Virginia. The school would later become known as Virginia Tech. The yearbook includes information about the school as well as photographs and illustrations of the student body, teachers, organizations, and buildings.
The Bugle, 1907
(Virginia Polytechnic Institute, 1907)
Yearbook for Virginia Agricultural and Mechanical College and Polytechnic Institute in Blacksburg, Virginia. The school would later become known as Virginia Tech. The yearbook includes information about the school as well as photographs and illustrations of the student body, teachers, organizations, and buildings.
The Bugle, 1908
(Virginia Polytechnic Institute, 1908)
Yearbook for Virginia Agricultural and Mechanical College and Polytechnic Institute in Blacksburg, Virginia. The school would later become known as Virginia Tech. The yearbook includes information about the school as well as photographs and illustrations of the student body, teachers, organizations, and buildings.
The Bugle, 1909
(Virginia Polytechnic Institute, 1909)
Yearbook for Virginia Agricultural and Mechanical College and Polytechnic Institute in Blacksburg, Virginia. The school would later become known as Virginia Tech. The yearbook includes information about the school as well as photographs and illustrations of the student body, teachers, organizations, and buildings.
Quarterly Magazine of the Southern Industrial Educational Association, Vol. 1, no. 2
Southern Industrial Educational Association (SIEA, 1909-06)
Quarterly Magazine of the Southern Industrial Educational Association, Vol. 1, no. 3
Southern Industrial Educational Association (SIEA, 1909-09)
Quarterly Magazine of the Southern Industrial Educational Association, Vol. 1, no. 4
Southern Industrial Educational Association (SIEA, 1909-12)
The Bugle, 1910
(Virginia Polytechnic Institute, 1910)
Yearbook for Virginia Agricultural and Mechanical College and Polytechnic Institute in Blacksburg, Virginia. The school would later become known as Virginia Tech. The yearbook includes information about the school as well as photographs and illustrations of the student body, teachers, organizations, and buildings.