4767 search results - page 567 / 954 » Structures for Abstract Rewriting |
163
click to vote
IPPS
2003
IEEE
16 years 3 days ago
2003
IEEE
: The object abstraction has long proven to be an effective foundation upon which to structure application codes; however, its application to Grid Computing contains many challenge...
163
click to vote
LAWEB
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper analyzes how the semantics of association relationships in OO conceptual modeling can help to build Navigational Models for Web Applications. The work has been develope...
195
click to vote
TLDI
2003
ACM
16 years 2 days 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...
178
click to vote
AC
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...
210
click to vote
AC
2003
Springer
16 years 2 days ago
2003
Springer
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...