3893 search results - page 409 / 779 » Execution Architectures and Compilation |
147
click to vote
TLCA
2005
Springer
16 years 8 days ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
190
Voted
ICES
2003
Springer
15 years 12 months ago
2003
Springer
This paper proposes a coprocessor architecture to speed up hardware evolution. It is designed to be implemented in an FPGA with an integrated microprocessor core. The coprocessor r...
181
click to vote
HPDC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper reports on the architecture and design of Starfish, an environment for executing dynamic (and static) MPI-2 programs on a cluster of workstations. Starfish is unique in ...
140
click to vote
DAC
1995
ACM
15 years 10 months ago
1995
ACM
Abstract A central problem in embedded system co-synthesis is the generation of software for lowlevel I O. Scheduling still remains a manual task because existing coarse-grained re...
186
click to vote
AIIDE
2007
15 years 9 months ago
2007
In this paper, we present a principled approach to constructing believable game players that relies on a cognitive architecture. The resulting agent is capable of playing the game...