|
Functional pearl: streams and unique fixed points
: ACM SIGPLAN Notices
Streams, infinite sequences of elements, play an important role in various areas of mathematics and computer science. On the one hand, they represent a fundamental concept of discrete mathematics...
Correctness Proofs (D.2.4...) | Jun 11 09
Run-time enforcement of nonsafety policies
: ACM Transactions on Information and System Security
I have always viewed digital security and protection as more of an art than a science, the art of staying only one step behind the ingenuity of the next kid trying to break into some system or release...
Protection Mechanisms (D.2.0...) | Jun 9 09
A software framework for abstract expression of coordinate-free linear algebra and optimization algorithms
: ACM Transactions on Mathematical Software
Designing a good library for an application domain is always a difficult task. The library has to be consistent, complete, and easy to use. The very best libraries present to the user an interface...
Software Architectures (D.2.11) | Jun 29 09
Adaptive Winograd’s matrix multiplications
: ACM Transactions on Mathematical Software
Strassen’s matrix multiplication, generally used in the Winograd variant [1], is an attractive theoretical toy. Furthermore, it can be described quite easily if we ignore issues such as: the...
Algorithm Design And Analysis (G.4...) | Jul 2 09
An out-of-core sparse Cholesky solver
: ACM Transactions on Mathematical Software
Solving large linear systems of equations becomes difficult if the solver requires more memory than what is actually available on a computer. The paper addresses this problem by introducing...
Numerical Algorithms (G.1.0...) | Jun 11 09
Security model and framework for information aggregation in sensor networks
: ACM Transactions on Sensor Networks
Manulis and Schwenk introduce a formal communication and security model for in-network aggregation in wireless sensor networks (WSNs). A complete proof of the security of the model is...
Applications (C.2.2...) | Jun 26 09
Acceleration of decision tree searching for IP traffic classification
: ANCS 08
In the news, it is easy to find headlines about the wars against peer-to-peer (P2P) traffic around the world. The recent conviction in the Pirate Bay case or Sarkozy’s...
Network Monitoring (C.2.3...) | Jun 26 09
Automated usability testing using HUI analyzer
: ASWEC 2008
The HUI Analyzer, based on Microsoft’s .NET Compact Framework for handheld devices, is a proof-of-concept tool for automated usability testing. Details of a user interaction, called an actual...
Testing Tools (D.2.5...) | Jun 25 09
Non-linear MSD crack growth by DBEM for a riveted aeronautic reinforcement
: Advances in Engineering Software
Highly reliable software for predicting crack growth in aircraft parts is vital both for design and for determining a lifetime monitoring schedule. This work focuses on the...
Model Development (I.6.5) | Jun 23 09
Non-cooperative tree creation
: Algorithmica
This paper contributes to the application of game theory to network design. The objective is to investigate the extent to which useful connected subnetworks can be constructed on, say, the Internet...
Trees (G.2.2...) | Jun 16 09
|
|
A compendium of partial differential equation models: method of lines analysis with MATLAB
The subject of partial differential equations (PDEs) is among the most difficult to introduce to science and engineering students and practitioners. While it has always been challenging, nowadays it is getting even...
Partial Differential Equations (G.1.8)
| Jun 30 09
A computational introduction to number theory and algebra
Algebra and number theory are important subdisciplines of mathematics. They play an essential role in modern computer science, as evidenced by applications such as coding theory and cryptography. Consequently, books that introduce the...
Number-Theoretic Computations (F.2.1...)
| Jun 19 09
Agile testing: a practical guide for testers and agile teams
Software testing is a critical activity in any serious software project. Agile testing emerges more as a need than as a new trend in testing. It provides a quick and effective way to assess the quality of software, through small implementation...
Testing And Debugging (D.2.5)
| Jun 24 09
Algorithmic composition: paradigms of automated music generation
The term algorithmic composition refers to the science and art of creating music by using an algorithm (the term algorithm stands for a finite set of instructions for solving a problem, named after al-Khw rizm ...
Sound And Music Computing (H.5.5)
| Jul 3 09
Beginning GIMP: from novice to professional
The GNU image manipulation program (GIMP) is open-source, free software that is used to edit digital photographs and to create simple animations in graphics interchange format (GIF). Many people use GIMP as a substitute for Adobe Photoshop...
Graphics Utilities (I.3.4)
| Jun 26 09
Beginning iPhone development: exploring the iPhone SDK
This book is the perfect guide for people who consider participating in this phenomenon. Mark and LaMarche provide ample examples, with step-by-step instructions, explaining each and every feature. Even though the iPhone remains, by...
Programming Environments (D.2.6)
| Jul 2 09
Bioinformatics: an introduction
This book is a self-contained guide to bioinformatics that targets undergraduates interested in this field. Bioinformatics is an interdisciplinary field that involves computer science, engineering, biology, and medicine. This book covers the basics of...
Life And Medical Sciences (J.3)
| Jun 30 09
Build your own ASP.NET 3.5 Website using C# & VB
Active Server Pages (ASP) is a server-side technology for developing Web applications based on the .NET framework--as opposed to client-side technologies, such as JavaScript. ASP is Microsoft’s response to the...
Hypertext/Hypermedia (H.5.4)
| Jun 26 09
C programming: a modern approach (2nd ed.)
There are some C books that read like a breakfast radio episode. You know the type. “Well, Hello! ... Why would you want to write a program in C? Like, it’s been around forever! And it’s, like, totally uncool. But...
C (D.3.2...)
| Jun 22 09
C# 3.0 unleashed: With the .NET Framework 3.5
This “little” book, weighing in at more than 1,000 pages, is divided in 47 chapters and two appendices, all organized into 11 parts. Its author, Joe Mayo, is the president of a company he founded and has had extensive experience with C# and .NET; his...
C# (D.3.2...)
| Jun 24 09
|
|
