7529 search results - page 275 / 1506 » The Modula-3 Type System |
186
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
We extend Cyclone, a type-safe polymorphic language at vel of abstraction, with threads and locks. Data races can violate type safety in Cyclone. An extended type system staticall...
179
Voted
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
—Fluid intake is an important information for many health and assisted living applications. At the same time it is inherently difficult to monitor. Existing reliable solutions r...
143
click to vote
DEBS
2003
ACM
15 years 12 months ago
2003
ACM
We present a design of a distributed publish-subscribe system that extends the functionality of messaging middleware with “relational subscriptions”, to support timely updates...
169
click to vote
PDPTA
1996
15 years 8 months ago
1996
A novel parallel algorithm for matrix multiplication is presented. It is based on a 1-D hyper-systolic processor abstraction. The procedure can be implemented on all types of para...
146
click to vote
WRAC
2005
Springer
16 years 3 days ago
2005
Springer
The systemic theory associates open systems and complexity closely. This article presents a particular articulation between these two concepts using the Systemion Model. Two types ...