16190 search results - page 2477 / 3238 » Applicative programming with effects |
185
click to vote
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...
155
click to vote
FCCM
2002
IEEE
15 years 11 months ago
2002
IEEE
To fully realize the benefits of partial and rapid reconfiguration of field-programmable devices, we often need to dynamically schedule computing tasks and generate instance-sp...
171
click to vote
FCCM
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper explores the implications of integrating flexible module generation into a compiler for FPGAs. The objective is to improve the programmabilityof FPGAs, or in other wor...
139
click to vote
ICECCS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the application of the Test Automation Framework on the Mars Polar Lander (MPL) software. The premature shutdown of the descent engine on the MPL spacecraft i...
143
click to vote
ICPP
2002
IEEE
15 years 11 months ago
2002
IEEE
HPC programmers utilize tracefiles, which record program behavior in great detail, as the basis for many performance analysis activities. The lack of generally accessible tracefil...