Latex Symbols

Here is a good reference for all the Latex Symbols.

Latex Symbols

Microsoft Power Toys

So for all the linux geeks our there and wanting multiple desktops to play around with here is your answer .. "Microsoft Power Toys"

Power Toys

They have other stuff too like having actual images of the object that your when you hit Alt Tab and stuff like that. So here comes the funny part. They make a big deal about saying its not supported by Microsoft so don't expect any support or anything like that. So here is my guess some Microsoft people did it for fun. (If it was supported by Microsoft it prob wouldn't be free ;) ) So imagine a conversation between a linux supporter and a Microsoft guy

Microsoft guy : Well I don't have to recompile my kernel to read my USB drive.
Linux supporter : You don't have multiple desktop :P

And thats how the story goes.

Quote of the Day "There is not such thing as being too rich, too thin or having too much bandwidth"

A Farce called the Bangalore Test Match

My question is what was the curator thinking when he made the Bangalore pitch. A placid wicket with nothing in it. Imagine the plight of fans if the series at been at a tantalizing 1-1. Even without that a good pitch would have given India a chance at the number 2 ranking on the ICC test ratings. Everyones been cribbing about Ganguly's form. I think he is very talented by lazy. He hasn't worked on overcoming his shortcomings specially against the short ball. Being the most sucessful Indian Captian has not had enough people baying for his blood. I think he can rise to the challenge and prove he is a world class batsman

Papers I need to cite for SPIN paper

Data Flow Analysis for Verifying Properties of Concurrent Programs (1994)
Matthew Dwyer
Proceedings of the ACM SIGSOFT '94 Symposium on the Foundations of Software Engineering

For the definition of the admissible and consistent

Generalized BF Search Stratergies and the Optimality of A* published in the ACM journal by Dechter and J. Pearl

Another FSM heuristic:
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification (2001)
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
International Conference on Software Engineering

Validation with guided search of the state space
C Han Yang David L Dill
Annual ACM IEEE Design Automation Conference archive
Proceedings of the 35th annual conference on Design automation - Volume 00 table of contents

Interprocedural static analysis of sequencing constraints

Source ACM Transactions on Software Engineering and Methodology (TOSEM) archive
Volume 1 , Issue 1 (January 1992) table of contents
Pages: 21 - 52
Year of Publication: 1992

Kurt M. Olender University of Colorado
Leon J. Osterweil University of Colorado

Computation of interprocedural control dependence

Source International Symposium on Software Testing and Analysis archive
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Year of Publication: 1998

Authors
Mary Jean Harrold Computer and Info. Science, Ohio State University, 395 Dreese Lab, Columbus, OH
Gregg Rothermel Computer Science, Oregon State University, Dearborn Hall 307-A, Corvallis, OR
Saurabh Sinha Computer and Info. Science, Ohio State University, 395 Dreese Lab, Columbus, OH


An Experiment with Inline Substitution
Cooper,Wall and Torczon
@article{ cooper91experiment,
author = "Keith D. Cooper and Mary W. Hall and Linda Torczon",
title = "An Experiment with Inline Substitution",
journal = "Software - Practice and Experience",
volume = "21",
number = "6",
pages = "581-601",
year = "1991",
url = "citeseer.csail.mit.edu/cooper91experiment.html" }

LN Mittal

Here is an article on Mittal's rise to the third richest man in the world.

Forbes article

Vernal Equinox

Today is technically the first day of Spring. Well it depends on what Spring bring for you. The cold dreary winter is gone and here comes a season full of allergies. Whoohoo!!! Spring has the most positive connotation of all seasons. Does a season really affect how we feel? Are people happier in sunny beach California than in people in say Boston? Is the need for light a genetic thing or an envirnoment conditioning? Some one told me that 60% of people in Alaska suffer from some kind of depression.

Trail based heuristic

S. Edelkamp and T. Mehler. Byte code distance heuristics and trail direction for model checking Java programs. In Model Checking and Artificial Intelligence (MoChArt), pages 69–76, 2003.

Here is the link for the call for Papers MoChArt 05

Its a workshop.

Victory at Eden Gardens

India finally overcame history to beat Pakistan at Eden Gardens. The ever dependable Kumble bowled India to a famous victory. Special kudos to Rahul Dravid who hit two centuries, one in each innings. The thing that is getting really cliched is calling Dravid an unsung hero, underated blah blah. I think the media likes to play that up every time he does well. I think it does him more diservice than any good. Everybody knows that Dravid is a key player in the Indian cricket team. I think comparisons between him and Tendulkar and Ganguly should stop. In all circles Dravid's talent is appreciated and recognized. And if the media claims otherwise, then it is grossly wrong.

I think the Bangalore test is going to be a draw. I have been at the bangalore stadium for the India- South Africa test match and its just lacks a soul. Well it will depend on the pitch. I would rather that the test match be in Chennai.

For Firefox fans

Here is finally a game which works good only in Firefox and doesn't really work in IE. Linux geeks ko Salaam !!!!

Make words

1/3 rd traffic on the net comes from torrents

I came across this article from slashdot, it claims that 35% of the internet traffic comes from BitTorrent. I believe that statistic but am amazed. This article even talks about how bittorrent works and stuff like that. What it doesn't say is that it's a negotation based protocol. So can't just sit there and leech, you will have to share.

BitTorrent Article

Interprocedural control flow graph

Here is a paper which has an example of interprocedural control flow graph among other things.

Computation of Interprocedural Control dependence by Harrold, Rothermel, and Sinha

Published in 1998 ACM SIGSOFT

Constant Propagation through procedures

Interprocedural Constant Propagation: A Study of Jump Function Implementations by Dan Grove(Sun Microsystems) and Linda Torczon(Rice Univ).

Published at SIGPLAN 1993

Abstract:

An implementation of interprocedural constant propagation must model the transmission of values through each procedure. This framework is modeled by a jump function. This paper reports on a comparative study of jump function implementations. It shows that different jump functions produce different numbers of useful constants; its suggests a particular function, called the pass-through parameter jump function, as the most cost-effective in practice

Static Analysis for Memory Operations

An Efficient Static Analysis Algorithm to Detect Redundant Memory Operations by Keith D. Cooper and Li Xu

Published at ACM 2002

Part of the Abstract:

As memory system performance becomes an increasingly dominant factor in overall system performance, it is important to optimize programs for memory related operations. This paper concerns static analysis to detect redundant memory operations and enable other compiler transformation to remove such redundant operations.

Hybrid Petri Net Representation of Gene Regulatory Network

This paper exploits a hybrid Petri Nets for representing gene regulatory networks. A hierarchial approach with HPNs makes easier the arrangment of the components in the gene regulatory network based on the biological facts and provides a prospective view of the network.

Reason for using Hybrid Petri nets: Representing a continous value such as a concentration of mRNA or protein is an essential factor in expressing gene regulation. Can do it only with HPN. It allows to handle the continous factor.

Modeling of metabolic pathways, extracellular and intracellular signaling pathways, or gene regulatory networks.

Things that you need to do:
Model discrete values : is certain protein present or not
Model continous values : like concentrations of certain things
Account for time delays associated with transitions ( time it takes to transcribe a gene or something)
Speed of the transitions that can take place.
Associate probabilities of the transition taking place.
This makes two kinds of transitions discrete and continuous (I don't really know what a continous trasition really means)
Something to represent the feedback mechanism ( this is key)
Also need to account for the Protein Protein Interaction
Protein DNA Interaction: Postive of Negative Effect on the synthesis of the protein associated
with a gene.
Solutions and Reactions and Enzymes
Dynamics of the reaction. (forward or backward)
Paper for that


Things that can be used to model these things
Hybrid Petri Nets
Hybrid Automatos
mu-calculus.

Modeling and querying biomolecular interaction networks

This is an interesting paper I found Click Here

The references of this paper might also be interesting and can lead to some background for us to start with.