303 search results - page 45 / 61 » Improving conflict resolution in model versioning systems |
ECRTS
2004
IEEE
15 years 1 months ago
2004
IEEE
The contribution of this paper is threefold. First, an improvement to a previously published paper on the timing analysis of Controller Area Network (CAN) in the presence of trans...
IJCNN
2007
IEEE
15 years 3 months ago
2007
IEEE
— Rapidly evolving businesses generate massive amounts of time-stamped data sequences and defy a demand for massively multivariate time series analysis. For such data the predict...
96
Voted
CADE
2005
Springer
15 years 9 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
104
click to vote
AIED
2007
Springer
15 years 1 months ago
2007
Springer
COLLECT-UML is a collaborative constraint-based tutor for teaching object-oriented analysis and design using Unified Modelling Language. It is the first system in the family of con...
118
click to vote
HIPEAC
2009
Springer
15 years 4 months ago
2009
Springer
Heterogeneous architectures are currently widespread. With the advent of easy-to-program general purpose GPUs, virtually every recent desktop computer is a heterogeneous system. Co...