5775 search results - page 865 / 1155 » A Rationale-based Analysis Tool |
183
click to vote
ASAP
2003
IEEE
16 years 3 days ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...
197
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
206
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
206
click to vote
MSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In common with many large institutes, CERN has traditionally developed and maintained its own data management solutions. Recently, a significant change of direction has taken plac...
239
click to vote
ITS
1998
Springer
15 years 11 months ago
1998
Springer
We present a vision for learning environments, called Science Learning Spaces, that are rich in engaging content and activities, provide constructive experiences in scientific proc...