Partner
UNT Libraries Government Documents Department
376
Sterling Municipal Library
354
Oklahoma Historical Society
132
UNT Libraries
99
Alvin Community College
60
Patrick Heath Public Library
60
UNT Libraries Special Collections
53
Livingston Municipal Library
52
Nellie Pederson Civic Library
42
Comanche Public Library
42
77 More
Collection
Texas Digital Newspaper Program
1,292
Tocker Foundation Grant
631
The Baytown Sun
354
Texas State Publications
153
Oklahoma Digital Newspaper Program
152
Office of Scientific & Technical Information Technical Reports
74
Ladd & Katherine Hancher Library Foundation
64
Altus Times-Democrat
61
Brazoria County Area Newspapers
60
The Boerne Star
60
134 More
Degree Department
Degree Discipline
Degree Level
Year
Month
Language
1,963 Matching Results
Results open in a new window/tab. Unexpected Results? Search the Catalog Instead.
Results:
1 - 24 of
1,963
next
An abstract class loader for the SSP and its implementation in TL.
The SSP is a hardware implementation of a subset of the JVM for use in high consequence embedded applications. In this context, a majority of the activities belonging to class loading, as it is defined in the specification of the JVM, can be performed statically. Static class loading has the net result of dramatically simplifying the design of the SSP as well as increasing its performance. Due to the high consequence nature of its applications, strong evidence must be provided that all aspects of the SSP have been implemented correctly. This includes the class loader. This article explores the possibility of formally verifying a class loader for the SSP implemented in the strategic programming language TL. Specifically, an implementation of the core activities of an abstract class loader is presented and its verification in ACL2 is considered.
Date:
August 1, 2004
Creator:
Wickstrom, Gregory Lloyd; Winter, Victor Lono (University of Nebraska at Omaha, Omaha, NE); Fraij, Fares (University of Texas at El Paso, El Paso, TX); Roach, Steve (University of Texas at El Paso, El Paso, TX) & Beranek, Jason (University of Nebraska at Omaha, Omaha, NE)
Object Type:
Report
System:
The UNT Digital Library
Dependable software through higher-order strategic programming.
Program transformation is a restricted form of software construction that can be amenable to formal verification. When successful, the nature of the evidence provided by such a verification is considered strong and can constitute a major component of an argument that a high-consequence or safety-critical system meets its dependability requirements. This article explores the application of novel higher-order strategic programming techniques to the development of a portion of a class loader for a restricted implementation of the Java Virtual Machine (JVM). The implementation is called the SSP and is intended for use in high-consequence safety-critical embedded systems. Verification of the strategic program using ACL2 is also discussed.
Date:
March 1, 2004
Creator:
Winter, Victor Lono (University of Nebraska at Omaha); Fraij, Fares (University of Texas at El Paso) & Roach, Steve (University of Texas at El Paso)
Object Type:
Report
System:
The UNT Digital Library
Growing Up from a Baby to a Toddler
Self-paced lesson from the Texas Department of State Health Services serving as a guide to feeding toddlers.
Date:
December 2004
Creator:
Texas. Department of State Health Services.
Object Type:
Pamphlet
System:
The Portal to Texas History
Introducing Finger Foods to Your Child
Self-paced lesson from the Texas Department of State Health Services serving as a guide to introducing finger foods and nutrition to your child.
Date:
August 2004
Creator:
Texas. Department of State Health Services.
Object Type:
Pamphlet
System:
The Portal to Texas History
[Texas Stonewall Democratic Caucus list]
List of subset organizations of the Texas Stonewall Democratic Caucus, with welcome to the Stonewall Democrats of Tarrant County.
Date:
April 12, 2004
Creator:
Texas Stonewall Democratic Caucus
Object Type:
Text
System:
The UNT Digital Library
VA and DOD Health Care: Resource Sharing At Selected Sites
A letter report issued by the Government Accountability Office with an abstract that begins "Congress has long encouraged the Department of Veterans Affairs (VA) and the Department of Defense (DOD) to share health resources to promote cost-effective use of health resources and efficient delivery of care. In February 2002, the House Committee on Veterans' Affairs described VA and DOD health care resource sharing activities at nine locations. GAO was asked to describe the health resource sharing activities that are occurring at these sites. GAO also examined seven other sites that actively participate in sharing activities. Specifically, GAO is reporting on (1) the types of benefits that have been realized from health resource sharing activities and (2) VA- and DOD-identified obstacles that impede health resource sharing. GAO analyzed agency documents and interviewed officials at DOD and VA to obtain information on the benefits achieved through sharing activities. The nine sites reviewed by the Committee and reexamined by GAO are: 1) Los Angeles, CA; 2) San Diego, CA; 3) North Chicago, IL; 4) Albuquerque, NM; 5) Las Vegas, NV; 6) Fayetteville, NC; 7) Charleston, SC; 8) El Paso, TX; and 9) San Antonio, TX. The seven additional sites GAO examined are: 1) …
Date:
July 21, 2004
Creator:
United States. Government Accountability Office.
Object Type:
Report
System:
The UNT Digital Library
Natural gas production problems : solutions, methodologies, and modeling.
Natural gas is a clean fuel that will be the most important domestic energy resource for the first half the 21st centtuy. Ensuring a stable supply is essential for our national energy security. The research we have undertaken will maximize the extractable volume of gas while minimizing the environmental impact of surface disturbances associated with drilling and production. This report describes a methodology for comprehensive evaluation and modeling of the total gas system within a basin focusing on problematic horizontal fluid flow variability. This has been accomplished through extensive use of geophysical, core (rock sample) and outcrop data to interpret and predict directional flow and production trends. Side benefits include reduced environmental impact of drilling due to reduced number of required wells for resource extraction. These results have been accomplished through a cooperative and integrated systems approach involving industry, government, academia and a multi-organizational team within Sandia National Laboratories. Industry has provided essential in-kind support to this project in the forms of extensive core data, production data, maps, seismic data, production analyses, engineering studies, plus equipment and staff for obtaining geophysical data. This approach provides innovative ideas and technologies to bring new resources to market and to reduce the overall …
Date:
October 1, 2004
Creator:
Rautman, Christopher Arthur; Herrin, James M.; Cooper, Scott Patrick; Basinski, Paul M. (El Paso Production Company, Houston, TX); Olsson, William Arthur; Arnold, Bill Walter et al.
Object Type:
Report
System:
The UNT Digital Library
Journal of the Effective Schools Project, Volume 11, 2004
The Journal of the Effective Schools Project covers topics related to the member schools involved in the program. The Journal includes articles from several educators and education specialists.
Date:
2004
Creator:
Tarleton State University. Effective Schools Project.
Object Type:
Journal/Magazine/Newsletter
System:
The Portal to Texas History
NorthAm Fest : fostering a North American continent approach to countering terrorism.
On September 14-16, 2004, the Advanced Concepts Group of Sandia National Laboratories in conjunction with the University of Texas at El Paso and the North American Institute hosted a workshop (fest) designed to explore the concept of a North American continental approach to countering terrorism. The fest began with the basic premise that the successful defense of North America against the threat of terrorism will require close collaboration among the North American allies--Canada, Mexico and the U.S.--as well as a powerful set of information collection and analysis tools and deterrence strategies. The NorthAm Fest recast the notion of ''homeland defense'' as a tri-national effort to protect the North American continent against an evolving threat that respects no borders. This is a report of the event summarizing the ideas explored. The fest examined the uniqueness of dealing with terrorism from a tri-national North American viewpoint, the role and possible features of joint security systems, concepts for ideal continental security systems for North America, and the challenges and opportunities for such systems to become reality. The following issues were identified as most important for the advancement of this concept. (1) The three countries share a set of core values--democracy, prosperity and security--which …
Date:
December 1, 2004
Creator:
Gerdes, Dick (North American Institute, Santa Fe, NM); Moore, Judy Hennessey; Whitley, John B.; Turnley, Jessica Glicken (Galisteo Consulting Group, Inc., Albuquerque, NM) & Oborotova, Marina (Center for International Studies of El Colegio de Mexico)
Object Type:
Report
System:
The UNT Digital Library
Texas Attorney General Opinion: GA-0280
Document issued by the Office of the Attorney General of Texas in Austin, Texas, providing an interpretation of Texas law. It provides the opinion of the Texas Attorney General, Greg Abbott, regarding a legal question submitted for clarification; Whether the Border Health Institute is a state agency for various purposes (RQ-0229-GA)
Date:
December 10, 2004
Creator:
Texas. Attorney-General's Office.
Object Type:
Text
System:
The Portal to Texas History
Border Business Indicators, Volume 28, Number 6, June 2004
Monthly publication documenting statistics related to economic information in the Mexico-Texas border areas including types of border crossings, employment, customs revenues, and other related data.
Date:
June 2004
Creator:
Texas Center for Border Economic and Enterprise Development
Object Type:
Journal/Magazine/Newsletter
System:
The Portal to Texas History
Border Business Indicators, Volume 28, Number 12, December 2004
Monthly publication documenting statistics related to economic information in the Mexico-Texas border areas including types of border crossings, employment, customs revenues, and other related data.
Date:
December 2004
Creator:
Texas Center for Border Economic and Enterprise Development
Object Type:
Journal/Magazine/Newsletter
System:
The Portal to Texas History
Border Business Indicators, Volume 28, Number 4, April 2004
Monthly publication documenting statistics related to economic information in the Mexico-Texas border areas including types of border crossings, employment, customs revenues, and other related data.
Date:
April 2004
Creator:
Texas Center for Border Economic and Enterprise Development
Object Type:
Journal/Magazine/Newsletter
System:
The Portal to Texas History
Border Business Indicators, Volume 28, Number 10, October 2004
Monthly publication documenting statistics related to economic information in the Mexico-Texas border areas including types of border crossings, employment, customs revenues, and other related data.
Date:
October 2004
Creator:
Texas Center for Border Economic and Enterprise Development
Object Type:
Journal/Magazine/Newsletter
System:
The Portal to Texas History
Border Business Indicators, Volume 28, Number 5, May 2004
Monthly publication documenting statistics related to economic information in the Mexico-Texas border areas including types of border crossings, employment, customs revenues, and other related data.
Date:
May 2004
Creator:
Texas Center for Border Economic and Enterprise Development
Object Type:
Journal/Magazine/Newsletter
System:
The Portal to Texas History
Border Business Indicators, Volume 28, Number 9, September 2004
Monthly publication documenting statistics related to economic information in the Mexico-Texas border areas including types of border crossings, employment, customs revenues, and other related data.
Date:
September 2004
Creator:
Texas Center for Border Economic and Enterprise Development
Object Type:
Journal/Magazine/Newsletter
System:
The Portal to Texas History
Border Business Indicators, Volume 28, Number 8, August 2004
Monthly publication documenting statistics related to economic information in the Mexico-Texas border areas including types of border crossings, employment, customs revenues, and other related data.
Date:
August 2004
Creator:
Texas Center for Border Economic and Enterprise Development
Object Type:
Journal/Magazine/Newsletter
System:
The Portal to Texas History
Border Business Indicators, Volume 28, Number 2, February 2004
Monthly publication documenting statistics related to economic information in the Mexico-Texas border areas including types of border crossings, employment, customs revenues, and other related data.
Date:
February 2004
Creator:
Texas Center for Border Economic and Enterprise Development
Object Type:
Journal/Magazine/Newsletter
System:
The Portal to Texas History
Border Business Indicators, Volume 28, Number 3, March 2004
Monthly publication documenting statistics related to economic information in the Mexico-Texas border areas including types of border crossings, employment, customs revenues, and other related data.
Date:
March 2004
Creator:
Texas Center for Border Economic and Enterprise Development
Object Type:
Journal/Magazine/Newsletter
System:
The Portal to Texas History
Border Business Indicators, Volume 28, Number 7, July 2004
Monthly publication documenting statistics related to economic information in the Mexico-Texas border areas including types of border crossings, employment, customs revenues, and other related data.
Date:
July 2004
Creator:
Texas Center for Border Economic and Enterprise Development
Object Type:
Journal/Magazine/Newsletter
System:
The Portal to Texas History
Border Business Indicators, Volume 28, Number 1, January 2004
Monthly publication documenting statistics related to economic information in the Mexico-Texas border areas including types of border crossings, employment, customs revenues, and other related data.
Date:
January 2004
Creator:
Texas Center for Border Economic and Enterprise Development
Object Type:
Journal/Magazine/Newsletter
System:
The Portal to Texas History
Border Business Indicators, Volume 28, Number 11, November 2004
Monthly publication documenting statistics related to economic information in the Mexico-Texas border areas including types of border crossings, employment, customs revenues, and other related data.
Date:
November 2004
Creator:
Texas Center for Border Economic and Enterprise Development
Object Type:
Journal/Magazine/Newsletter
System:
The Portal to Texas History
Good Neighbor Environmental Board Annual Report: 2004
Annual report of the U.S. Good Neighbor Environmental Board describing the organization's activities, goals, and recommendations for further development along the U.S.-Mexico border region. This report focuses on border-region children and their local environmental conditions.
Date:
February 2004
Creator:
United States. Good Neighbor Environmental Board.
Object Type:
Report
System:
The UNT Digital Library
Round Up, October/November 2004
Magazine for Texas Lottery retailers that contains news, retailer spotlights, and a list of lottery winners.
Date:
October 2004
Creator:
Texas Lottery Commission
Object Type:
Journal/Magazine/Newsletter
System:
The Portal to Texas History