- Subscribe to this page:
- RSS
- Email Alert
programming
(6587 results)-
White Papers
Five Myths of Agile Development
May 31, 2012 12:00am PDT
Agile development is an umbrella term for a number of iterative and incremental software development methodologies such as Extreme Programming (XP), Scrum, Crystal, Dynamic Systems Development...
Provided by: VersionOne
-
White Papers
Improved Progressive Edge-Growth Algorithm for Fast Encodable LDPC Codes
May 21, 2012 12:00am PDT
The Progressive Edge-Growth (PEG) algorithm is known to construct Low-Density Parity-Check (LDPC) codes at finite code lengths with large girths by establishing edges between symbol and check...
Provided by: Springer Science+Business Media
-
White Papers
Verification Games: Making Verification Fun
May 20, 2012 12:00am PDT
Program verification is the only way to be certain that a given piece of software is free of (certain types of) errors - errors that could otherwise disrupt operations in the field. To date,...
Provided by: University of Washington
-
White Papers
A Type System for Regular Expressions
May 20, 2012 12:00am PDT
Regular expressions are used to match and extract text. It is easy for developers to make syntactic mistakes when writing regular expressions, because regular expressions are often complex and...
Provided by: Association for Computing Machinery
-
White Papers
Inference and Checking of Object Ownership
May 15, 2012 12:00am PDT
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation overhead of...
Provided by: University of Washington
-
-
White Papers
Discovering Algorithms With Matrix Code
May 8, 2012 12:00am PDT
In first-year programming courses it is often difficult to show students how an algorithm can be discovered. In this paper, the authors present a program format that supports the development from...
Provided by: University of Victoria
-
White Papers
Using Dynamic Analysis to Discover Polynomial and Array Invariants
May 5, 2012 12:00am PDT
Dynamic invariant analysis identifies likely properties over variables from observed program traces. These properties can aid programmers in refactoring, documenting, and debugging tasks by making...
Provided by: University of New Mexico
-
White Papers
Implementation of Longitudinal Redundancy Check and Cyclic Redundancy Check Algorithms Using Netsim
May 5, 2012 12:00am PDT
Network Simulation is a comprehensive tool for studying computer networks. NetSim features state of the art network simulation technology, and comes with additional offerings that enhance and...
Provided by: Universal Association of Computer and Electronics Engineers
-
White Papers
Effective Data Mining Techniques for Intrusion Detection and Prevention System
May 5, 2012 12:00am PDT
The main purpose of Intrusion Detection Systems (IDS) and Intrusion protection Systems (IPS) for data mining is to discover patterns of program and user activity, and determine what set of events...
Provided by: Universal Association of Computer and Electronics Engineers
-
White Papers
A Case for Raid
May 5, 2012 12:00am PDT
Mathematicians agree that omniscient communication is an interesting new topic in the field of theory, and steganographers concur. The authors' aim here is to set the record straight. Given the...
Provided by: Universal Association of Computer and Electronics Engineers
-
White Papers
An Approach to Cloud Computing in HR Domain for Small Enterprise Solution
May 1, 2012 12:00am PDT
Web Service design and development is a challenging job that involves analytical programming, keen reasoning and sharp intellect. Plus today all departments and systems are bound through IT -...
Provided by: Engg Journals Publications
-
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
Q&A: Storage savings through unified design
April 26, 2012 12:00am PDT
IDC research shows that data volumes are growing at roughly 50 percent, year over year. Organisations need to spend more and more money each year on simply meeting needs for regulatory and...
Provided by: Hitachi
-
White Papers
Closing the Gap Between Specification and Programming: Vdm++ and Scala
April 24, 2012 12:00am PDT
The authors argue that a modern programming language such as Scala offers a level of succinctness, which makes it suitable for program and systems specification as well as for high-level...
Provided by: California Institute of Technology
-
White Papers
Towards Business Processes Orchestrating the Physical Enterprise With Wireless Sensor Networks
April 23, 2012 12:00am PDT
The industrial adoption of Wireless Sensor Networks (WSNs) is hampered by two main factors. First, there is a lack of integration of WSNs with business process modeling languages and back-ends....
Provided by: University of Trento
-
White Papers
Mobile Telephony Communication Using WIFI P2P
April 23, 2012 12:00am PDT
The purpose of this paper is to design and implement a telephony program that uses Wi-Fi using Peer-to-Peer communication between mobile phones without any cost. The system will allow users to...
Provided by: Universal Association of Computer and Electronics Engineers
-
White Papers
Concurrency Attacks
April 21, 2012 12:00am PDT
Just as errors in sequential programs can lead to security exploits, errors in concurrent programs can lead to concurrency attacks. Questions such as whether these attacks are real and what...
Provided by: Columbia University
-
White Papers
Serf and Turf: Crowdturfing for Fun and Profit
April 20, 2012 12:00am PDT
Popular Internet services in recent years have shown that remarkable things can be achieved by harnessing the power of the masses using crowd-sourcing systems. However, crowd-sourcing systems can...
Provided by: Association for Computing Machinery
-
White Papers
Grafting Energy-Harvesting Leaves onto the Sensornet Tree
April 20, 2012 12:00am PDT
The authors study the problem of augmenting battery-powered sensornet trees with energy-harvesting leaf nodes. Their results show that leaf nodes that are smaller in size than today's typical...
Provided by: Association for Computing Machinery
-
White Papers
Energy-Efficient Deadline-Constrained Maximum Reliability Forwarding in Lossy Networks
April 20, 2012 12:00am PDT
This paper studies the problem of optimal forwarding for reliable and energy-efficient real-time communication over lossy networks. The authors impose a strict per-packet latency bound and develop...
Provided by: KTH Royal Institute of Technology
