571 search results - page 88 / 115 » A principled approach to operating system construction in Ha... |
117
click to vote
WADT
1998
Springer
15 years 4 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
116
click to vote
EUROPAR
2009
Springer
15 years 5 months ago
2009
Springer
It is now common for IPTV systems attracting millions of users to be based on a peer-to-peer (P2P) architecture. In such systems, each channel is typically associated with one P2P ...
177
click to vote
EDBT
2012
ACM
13 years 3 months ago
2012
ACM
We present some architectural and technological insights on SAP’s HANA database and derive research challenges for future enterprise application development. The HANA database m...
111
click to vote
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
121
click to vote
ISDA
2009
IEEE
15 years 8 months ago
2009
IEEE
Educational process mining (EPM) aims at (i) constructing complete and compact educational process models that are able to reproduce all observed behavior (process model discovery...