10996 search results - page 370 / 2200 » Future Directions in Computing |
163
click to vote
CIE
2007
Springer
16 years 27 days ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
157
click to vote
ISSAC
2005
Springer
16 years 7 days ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
179
click to vote
ICCS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. A data driven system implies the need to integrate data acquisition and signal processing into the same system that will interact with this information. This can be done ...
180
click to vote
FCCM
2002
IEEE
15 years 11 months ago
2002
IEEE
C-slow retiming (changing a design to support multiple instances of a computation) and datapath-aware placement have long been advocated by members of the FPGA synthesis community...
163
click to vote
HCW
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a simulation tool for the analysis of complex jobs described in the form of task graphs. The simulation procedure relies on the PN-based topological represent...