1368 search results - page 11 / 274 » Challenges for Model-Integrating Components |
116
Voted
ICCD
2003
IEEE
15 years 11 months ago
2003
IEEE
There is currently a huge gap between the two main technologies used to implement custom digital integrated circuit (IC) designs. At one end of the spectrum are field programmable...
115
click to vote
SAINT
2009
IEEE
15 years 9 months ago
2009
IEEE
The Internet routing system plays an essential role of glueing together tens of thousands of individual networks to create a global data delivery substrate. Over the years many ef...
151
Voted
NCA
2005
IEEE
15 years 8 months ago
2005
IEEE
Context-aware applications rely on the ability to perceive the state of the surrounding environment. In this paper, we address a class of such applications where real-time guarant...
118
click to vote
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
118
click to vote
AIPS
2000
15 years 3 months ago
2000
The Remote Agent Experiment (RAX) on the Deep Space 1 (DS1) mission was the first time that an artificially intelligent agent controlled a NASA spacecraft. One of the key componen...