5964 search results - page 156 / 1193 » A theory of speculative computation |
158
click to vote
DAC
1998
ACM
16 years 8 months ago
1998
ACM
Phase noise is a topic of theoretical and practical interest in electronic circuits, as well as in other fields such as optics. Although progress has been made in understanding th...
157
click to vote
PODC
2005
ACM
16 years 16 days ago
2005
ACM
In recent software transactional memory proposals, a contention manager module is responsible for ensuring that the system as a whole makes progress. A number of contention manage...
167
click to vote
CONCUR
2005
Springer
16 years 15 days ago
2005
Springer
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
170
click to vote
GG
2004
Springer
16 years 11 days ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
194
click to vote
PARA
2004
Springer
16 years 10 days ago
2004
Springer
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...