445 search results - page 41 / 89 » An interactive environment for the teaching of computer arch... |
109
click to vote
CCGRID
2001
IEEE
15 years 3 months ago
2001
IEEE
The Compute Power Market (CPM) is a market-based resource management and job scheduling system for grid computing on Internet-wide computational resources, particularly low-end pe...
122
click to vote
DATE
2010
IEEE
15 years 28 days ago
2010
IEEE
Abstract--In the current environment of rapidly changing invehicle requirements and ever-increasing functional content for automotive EE systems, there are several sources of uncer...
JIIS
2008
14 years 11 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
122
click to vote
CF
2004
ACM
15 years 5 months ago
2004
ACM
In a future networked physical world, a myriad of smart sensors and actuators assess and control aspects of their environments and autonomously act in response to it. Examples ran...
ISWC
2003
IEEE
15 years 5 months ago
2003
IEEE
We present a novel, inexpensive, coarse tracking system that determines a person’s approximate 2D location and 1D head orientation in an indoor environment. While this coarse tr...