7118 search results - page 923 / 1424 » Electrical and Computer Engineering |
166
click to vote
ICCAD
2000
IEEE
15 years 9 months ago
2000
IEEE
Synchronous Data Flow (SDF) is a well-known model of computation that is widely used in the control engineering and digital signal processing domains. Existing scheduling methods ...
126
click to vote
TOOLS
2000
IEEE
15 years 9 months ago
2000
IEEE
It is impossible to implement one tool that supports all activities in software development. Thus, it is important to focus on integration of different tools, ideally giving devel...
162
click to vote
TPHOL
2000
IEEE
15 years 9 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
148
Voted
VISUALIZATION
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, general relativistic ray tracing is presented as a tool for gravitational physics. It is shown how standard three-dimensional ray tracing can be extended to allow f...
122
Voted
SIGCSE
2000
ACM
15 years 9 months ago
2000
ACM
Scientific programmers have traditionally programmed in entirely sequential languages such as Fortran, C or Pascal and it could be argued that object-orientation is not a concept ...