4007 search results - page 534 / 802 » Automotive Software Integration |
180
click to vote
ECLIPSE
2004
ACM
16 years 4 days ago
2004
ACM
In this paper, we describe marking features provided in Gild, a set of plug-ins to support education in Eclipse developed at the University of Victoria. We discuss our requirement...
164
click to vote
SIGCSE
2004
ACM
16 years 3 days ago
2004
ACM
A framework for producing dynamic data structure visualizations within the context of a lightweight IDE is described. Multiple synchronized visualizations of a data structure can ...
137
click to vote
ARCS
2004
Springer
16 years 3 days ago
2004
Springer
: We investigated different parallel SIMD (single instruction multiple data) architectures based on pure programmable and reconfigurable approaches for their appropriateness for in...
176
Voted
CSCLP
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We propose to use bilattice as a constraint valuation structure in order to represent truth and belief at the same time. A bilattice is a set which owns two lattices orde...
166
click to vote
FOSSACS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Motivated by recent work on the derivation of labelled transitions and bisimulation congruences from unlabelled reaction rules, we show how to solve this problem in the D...