2019 search results - page 144 / 404 » Programming with Shared Data Abstractions |
120
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
159
Voted
CLUSTER
2005
IEEE
15 years 8 months ago
2005
IEEE
Current operating systems offer basic support for network interface controllers (NICs) supporting remote direct memory access (RDMA). Such support typically consists of a device d...
137
Voted
IEEEMM
2002
15 years 2 months ago
2002
an abstract model for information sharing and integration and use it to develop an architecture for building open, component-based, interoperable systems. A geographic information ...
143
Voted
AFP
2004
Springer
15 years 8 months ago
2004
Springer
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
116
Voted
ER
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. For systems that share enough structural and functional commonalities, reuse in schema development and data manipulation can be achieved by defining problem-oriented lang...