Results 1 - 10
of
52,501
A First Step towards Automated Detection of Buffer Overrun Vulnerabilities
- IN NETWORK AND DISTRIBUTED SYSTEM SECURITY SYMPOSIUM
, 2000
"... We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection of buffer overruns as an integer range analysis problem. One major advantage of static analysis is that security bugs can ..."
Abstract
-
Cited by 394 (9 self)
- Add to MetaCart
We describe a new technique for finding potential buffer overrun vulnerabilities in security-critical C code. The key to success is to use static analysis: we formulate detection of buffer overruns as an integer range analysis problem. One major advantage of static analysis is that security bugs can be eliminated before code is deployed. We have implemented our design and used our prototype to find new remotely-exploitable vulnerabilities in a large, widely deployed software package. An earlier hand audit missed these bugs.
FIRST STEPS
"... The early stages of the progressive education movement can be traced in the USA and many parts of Europe, and the characteristics of the “new education ” are fully described in the chapters of the book “The Internationality of Progressive Education”: study of the child, creation of experimental scho ..."
Abstract
- Add to MetaCart
and maintain linkages gave the movement an international quality which was to become more visible in the early years of the 20th century. Geneva played an important part in many of the steps in this direction. In 1899 the educator Adolphe Ferrière who travelled a great deal around Europe and promoted the idea
and First Steps*
"... Since its formal recognition as a medical specialty, the field of pediatric emergency medicine has made substantial ad-vances with respect to its scope and sophistication. These advances have occurred in clinical practice as well as in the research base to improve clinical practice. There remain, ho ..."
Abstract
- Add to MetaCart
, the Pediatric Emergency Care Applied Research Network (PECARN) was created in October 2001. PECARN is the first federally funded national network for research in EMSC. PECARN is the result of Cooperative Agreement grants funded through the Health Resources and Services Administration (HRSA) with the purpose
and First Step
, 2002
"... By the beginning of the 21 th century, intangibles like brands, customer relationships, operating processes, or skills and knowledge of the workforce have become the major sources for sustainable competitive advantage (e.g., Kaplan and Norton, 2001). Investors do not have any doubt about this. In fa ..."
Abstract
- Add to MetaCart
By the beginning of the 21 th century, intangibles like brands, customer relationships, operating processes, or skills and knowledge of the workforce have become the major sources for sustainable competitive advantage (e.g., Kaplan and Norton, 2001). Investors do not have any doubt about this. In fact, 70- 80 % of the market value of
First Steps in Tropical Geometry
- CONTEMPORARY MATHEMATICS
"... Tropical algebraic geometry is the geometry of the tropical semiring (R, min, +). Its objects are polyhedral cell complexes which behave like complex algebraic varieties. We give an introduction to this theory, with an emphasis on plane curves and linear spaces. New results include a complete descr ..."
Abstract
-
Cited by 123 (10 self)
- Add to MetaCart
Tropical algebraic geometry is the geometry of the tropical semiring (R, min, +). Its objects are polyhedral cell complexes which behave like complex algebraic varieties. We give an introduction to this theory, with an emphasis on plane curves and linear spaces. New results include a complete description of the families of quadrics through four points in the tropical projective plane and a counterexample to the incidence version of Pappus’ Theorem.
Power Analysis of Embedded Software: A First Step towards Software Power Minimization
, 1994
"... Embedded computer systems are characterized by the presence ofadedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical component of the design speci cation of these systems. At present, however, power analysis tools can only be applied at the lo ..."
Abstract
-
Cited by 405 (9 self)
- Add to MetaCart
Embedded computer systems are characterized by the presence ofadedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical component of the design speci cation of these systems. At present, however, power analysis tools can only be applied at the lower levels of the design { the circuit or gate level. It is either impractical or impossible to use the lower level tools to estimate the power cost of the software component of the system. This paper describes the rst systematic attempt to model this power cost. A power analysis technique is developed that has been applied to two commercial microprocessors -- Intel 486DX2 and Fujitsu SPARClite 934. This technique can be employed to evaluate the power costofembedded software and also be used tosearch the design space in software power optimization.
First Steps on the Quality Journey
"... The Canadian Hydrographic Service (CHS) prides itself on its paramount attention to quality. CHS hydrographers and cartographers have long held the banner of ‘quality ’ as the ‘flagship of service’. The dramatic revolution in technology, client demands and organisational culture has shaken the histo ..."
Abstract
- Add to MetaCart
marketplace that can be applied to a hydrographic organisation. It will explore the first steps that CHS has taken on this journey as it moves toward the goal of becoming an ISO 9000 certified ‘quality-organisation’. A Quality Decision When starting out on a quality initiative it is hard not to ask the basic
First Steps in Metacomputing with Amica
- In Euromicro-PDP 2000
, 2000
"... The metacomputing system Amica is a new approach to support the development of coarse grained applications for distributed, dynamic, heterogeneous systems (e.g. computers linked to the Internet). It aims at location-transparent and convenient design of distributed applications and at easy integratio ..."
Abstract
-
Cited by 5 (2 self)
- Add to MetaCart
The metacomputing system Amica is a new approach to support the development of coarse grained applications for distributed, dynamic, heterogeneous systems (e.g. computers linked to the Internet). It aims at location-transparent and convenient design of distributed applications and at easy integration of legacy systems. Applications are described in the form of application graphs based on a predefined set of reusable components and connectors. This graph is dynamically interpreted using the Amica infrastructure. Amica provides uniform access to computational resources using the well-known factory pattern. Additionally, a memory subsystem supports the location-transparent use of complex data objects which may be replicated to increase access speed. To transfer data, specific network resources can be used. We report initial experiences using Amica for a computationally intensive real-world problem, the parallel simulation of cellular mobile systems. Measurements show that Amica, even in ...
Results 1 - 10
of
52,501