- Subscribe to this page:
- RSS
- Email Alert
undefined
(59 results)-
Whitepapers
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code
November 28, 2012 12:00am PST
In recent projects on operating-system verification, C and C++ data types are often formalized using a semantics that does not fully specify the precise byte encoding of objects. It is well-known...
Provided by: Creative Commons
-
Whitepapers
Undefined Behavior: What Happened to My Code?
July 24, 2012 12:00am PDT
System programming languages such as C grant compiler writers freedom to generate efficient code for a specific instruction set by defining certain language constructs as undefined behavior....
Provided by: Association for Computing Machinery
-
Whitepapers
Wireless Networks for Next Generations
June 1, 2012 12:00am PDT
Next generation mobile networks, commonly referred to as 4G, and are envisaged as a multitude of heterogeneous systems interacting through a horizontal IP-centric architecture. Researchers and...
Provided by: Kurukshetra University
-
Whitepapers
Surveillance Security Robot With Automatic Patrolling Vehicle
June 1, 2012 12:00am PDT
Surveillance security robot provides safety like man. Automatic patrolling vehicle for periodic patrolling in defined or a restricted area, the patrolling vehicle can move automatically to monitor...
Provided by: INTERNATIONAL JOURNAL OF ENGINEERING SCIENCE & ADVANCED TECHNOLOGY
-
Whitepapers
New Approach Construction for Wireless ZigBee Sensor Based on Embedding Pancake Graphs
June 1, 2012 12:00am PDT
Wireless Sensor Networks (WSN) based on the IEEE 802.15.4 standard are constantly expanding. Applications like production control, building control are more and more based on WSN because of their...
Provided by: University of Versailles Saint-Quentin-en-Yvelines
-
-
Whitepapers
Fast Face Recognition Using Enhanced SOM Architecture
May 19, 2012 12:00am PDT
Face recognition is one of the challenging problem is still facing in the recent years in many applications and may fields up to date and still there is no solution is to be find to face that...
Provided by: Universal Journal of Applied computer Science and Technology
-
Whitepapers
Identifying Intrusion Patterns Using a Decision Tree
May 1, 2012 12:00am PDT
Computer networks are usually vulnerable to attacks by any unauthorized person trying to misuse the resources. Hence they need to be protected against such attacks by Intrusion Detection Systems...
Provided by: International Journal of Computer Applications
-
White Papers
Defining the Undefinedness of C
April 27, 2012 12:00am PDT
This paper investigates undefined behavior in C and offers a few simple techniques for operationally specifying such behavior formally. A semantics-based undefinedness checker for C is developed...
Provided by: University of Illinois
-
White Papers
A Model for Intrusion Detection Based on Undefined Distance
November 1, 2011 12:00am PDT
In this paper, the authors introduced the intrusion detection system and the uncertain theory, and point out two important prerequisite that the IDS work normally must depend on, and in view of...
Provided by: International Journal of Soft Computing and Engineering (IJSCE)
-
White Papers
Polymorphic Type Inference for Scripting Languages With Object Extensions
October 23, 2011 12:00am PDT
This paper presents a polymorphic type inference algorithm for a small subset of JavaScript. The goal is to prevent accessing undefined members of objects. The authors define a type system that...
Provided by: University of Wisconsin
-
White Papers
Exploiting Task Order Information for Optimizing Sequentially Consistent Java Programs
August 8, 2011 12:00am PDT
Java was designed as a secure language that supports running untrusted code as part of trusted applications. For safety reasons, Java therefore defines a memory model that prevents undefined...
Provided by: ETH Zurich
-
White Papers
Cyclostationary Detection in Spectrum Pooling System of Undefined Secondary Users
July 11, 2011 12:00am PDT
Spectrum sensing continuing to emerge as an essential topic for the cognitive networks where two kinds of users primary and secondary will share the band. This paper proposes a method for...
Provided by: IARIA
-
White Papers
A Beacon Cluster-Tree Construction Approach for ZigBee/IEEE802.15.4 Networks
July 11, 2011 12:00am PDT
Wireless Sensor Networks (WSN) based on the IEEE 802.15.4 standard are in a constant expansion. Applications like production control, building control are more and more based on WSN because of...
Provided by: IARIA
-
Whitepapers
Repairing OLAP Queries in Databases With Referential Integrity Errors
April 20, 2011 12:00am PDT
Many database applications and OLAP tools dynamically generate SQL queries involving join operators and aggregate functions and send these queries to a database server for execution. This...
Provided by: Association for Computing Machinery
-
Whitepapers
Estimating and Bounding Aggregations in Databases With Referential Integrity Errors
April 20, 2011 12:00am PDT
Database integration builds on tables coming from multiple databases by creating a single view of all these data. Each database has different tables, columns with similar content across databases...
Provided by: Association for Computing Machinery
-
White Papers
A Mutual Construction for IDS Using GA
April 1, 2011 12:00am PDT
A variety of intrusion prevention techniques, such as user authentication using passwords, avoidance of programming errors and information protection has been used to protect computer systems....
Provided by: FRANCIS XAVIER ENGINEERING COLLEGE
-
White Papers
ContextFJ: A Minimal Core Calculus for Context-Oriented Programming
March 21, 2011 12:00am PDT
The authors develop a minimal core calculus called ContextFJ to model language mechanisms for Context-Oriented Programming (COP). Unlike other formal models of COP, ContextFJ has a direct...
Provided by: Association for Computing Machinery
-
White Papers
Finding and Understanding Bugs in C Compilers
March 18, 2011 12:00am PDT
Compilers should be correct. To improve the quality of C compilers, the authors created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bugs. During...
Provided by: Association for Computing Machinery
-
White Papers
Smart-HOP: A Reliable Handoff Procedure for Supporting Mobility in Wireless Sensor Networks
February 24, 2011 12:00am PST
This paper presents smart-HOP, a reliable hand-off mechanism for mobility support in Wireless Sensor Networks (WSNs). This technique relies on a fuzzy logic approach applied at two levels: the...
Provided by: University of Duisburg-Essen
-
White Papers
Using Valgrind to Detect Undefined Value Errors With Bit-Precision
January 1, 2011 12:00am PST
The authors present Memcheck, a tool that has been implemented with the dynamic binary instrumentation framework Valgrind. Memcheck detects a wide range of memory errors in programs as they run....
Provided by: University of Texas
