1884 search results - page 247 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
118
click to vote
LCPC
2004
Springer
15 years 7 months ago
2004
Springer
There is an increasing trends towards distributed and shared repositories for storing scientific datasets. Developing applications that retrieve and process data from such reposit...
95
Voted
AMAST
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A c...
124
click to vote
GI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
124
click to vote
KI
1990
Springer
15 years 5 months ago
1990
Springer
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
102
click to vote
CLUSTER
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—We present reliability solutions for adaptable Network RAM systems running on general-purpose clusters. Network RAM allows nodes with over-committed memory to swap pages...