325 search results - page 31 / 65 » A new large projection operator for the redundancy framework |
PASTE
2010
ACM
14 years 2 days ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...
WSC
2004
13 years 9 months ago
2004
Monte Carlo techniques have long been used (since Buffon's experiment to approximate the value of by tossing a needle onto striped paper) to analyze phenomena which, due to ...
EDOC
2006
IEEE
14 years 2 months ago
2006
IEEE
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
COLING
1992
13 years 9 months ago
1992
A proposal to deal with tenses in the framework of Discourse Representation Theory is presented, ms it has been implemented for a fragment at the IMS for the project LILOG. It is ...
ISSTA
1989
ACM
14 years 15 days ago
1989
ACM
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...