4151 search results - page 677 / 831 » Language Driven System Design |
145
click to vote
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
152
click to vote
ECOOP
1998
Springer
15 years 6 months ago
1998
Springer
This paper presents a new algorithm for distributed garbage collection and outlines its implementation within the Network Objects system. The algorithm is based on a reference list...
105
click to vote
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. Type classes in Haskell allow programmers to define functions that can be used on a set of different types, with a potentially different implementation in each case. For ...
130
click to vote
ASPLOS
2008
ACM
15 years 4 months ago
2008
ACM
Multi-core processors, with low communication costs and high availability of execution cores, will increase the use of execution and compilation models that use short threads to e...
145
click to vote
DSVIS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. A collection of user interface design patterns for workflow information systems is presented. Each Workflow User Interface Pattern (WUIP) is characterized by properties e...