612 search results - page 115 / 123 » Division for Foundation of Software |
141
Voted
TLDI
2005
ACM
15 years 7 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
111
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
124
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
It is now well established that the device scaling predicted by Moore’s Law is no longer a viable option for increasing the clock frequency of future uniprocessor systems at the...
107
Voted
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
117
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...