303 search results - page 45 / 61 » Improving conflict resolution in model versioning systems |
174
click to vote
ECRTS
2004
IEEE
15 years 9 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...
163
click to vote
IJCNN
2007
IEEE
16 years 11 days 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...
180
click to vote
CADE
2005
Springer
16 years 6 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...
205
click to vote
AIED
2007
Springer
15 years 10 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...
206
click to vote
HIPEAC
2009
Springer
16 years 25 days 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...