7508 search results - page 1362 / 1502 » A new approach for distributed computing in avionics systems |
AIMSA
1998
Springer
14 years 4 days ago
1998
Springer
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...
MICRO
1994
IEEE
14 years 22 hour ago
1994
IEEE
This paper explores a novel way to incorporate hardware-programmable resources into a processor microarchitecture to improve the performance of general-purpose applications. Throu...
APCSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
ITS
2000
Springer
13 years 11 months ago
2000
Springer
In this paper we discuss how computer supported collaborative learning (CSCL) can be deployed to develop new skills and habits in students at university level. These considerations...
SI3D
1995
ACM
13 years 11 months ago
1995
ACM
We introduce a promising new approach to rigid body dynamic simulation called impulse-based simulation. The method is well suited to modeling physical systems with large numbers o...