4166 search results - page 689 / 834 » A modular module system |
186
click to vote
ICS
2011
Tsinghua U.
14 years 9 months ago
2011
Tsinghua U.
Applications must scale well to make efficient use of even medium-scale parallel systems. Because scaling problems are often difficult to diagnose, there is a critical need for sc...
200
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
171
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
In the classical database world, information access has been based on a paradigm that involves structured, schema-aware, queries and tabular answers. In the current environment, h...
137
click to vote
IPPS
2009
IEEE
16 years 28 days ago
2009
IEEE
DMTCP (Distributed MultiThreaded CheckPointing) is a transparent user-level checkpointing package for distributed applications. Checkpointing and restart is demonstrated for a wid...
165
click to vote
SEMWEB
2009
Springer
16 years 25 days ago
2009
Springer
Abstract. Currently a large number of Web sites are driven by Content Management Systems (CMS) which manage textual and multimedia content but also inherently - carry valuable info...