349 search results - page 20 / 70 » Transactional Computation: Overview and Discussion |
ECOOPW
2001
Springer
15 years 2 months ago
2001
Springer
This report gives an overview of the third ECOOP Workshop on Formal Techniques for Java Programs. It explains the motivation for such a workshop and summarizes the presentations an...
COMPCON
1994
IEEE
15 years 1 months ago
1994
IEEE
The first product in the Newton family operates under severe constraints in the areas of performance, cost, heat dissipation, power consumption, scalability, size and weight. This...
ECOOPW
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
TCS
1998
14 years 9 months ago
1998
The notion of treewidth has seen to be a powerful vehicle for many graph algorithmic studies. This survey paper wants to give an overview of many classes of graphs that can be see...
98
Voted
ACSE
2000
ACM
15 years 2 months ago
2000
ACM
Secondary school students, when investigating tertiary study, have little opportunity to discover what a particular course has to offer and often have a poor understanding of empl...