1071 search results - page 126 / 215 » Programming with enumerable sets of structures |
163
click to vote
SNPD
2003
15 years 7 months ago
2003
This paper presents a new functional parallel language: Minimally Synchronous Parallel ML. The execution time can then be estimated and dead-locks and indeterminism are avoided. I...
141
click to vote
SLP
1989
15 years 7 months ago
1989
Two main aspects of Partial Evaluation for Prolog programs are considered: treatment of cuts and control of recursion. The analysis about cut is exhaustive: we consider occurrence...
168
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
159
click to vote
ICSM
2006
IEEE
16 years 9 days ago
2006
IEEE
An approach to automatically identify the stereotypes of all the methods in an entire system is presented. A taxonomy for object-oriented class method stereotypes is given that un...
158
click to vote
OOPSLA
1999
Springer
15 years 10 months ago
1999
Springer
Java programs perform many synchronization operations on data structures. Some of these synchronizations are unnecessary; in particular, if an object is reachable only by a single ...