2585 search results - page 472 / 517 » Automating Coherent Logic |
160
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents accurate area and power estimation models for implementations using FPGAs from the Xilinx Virtex-2Pro family. These models are designed to facilitate efficien...
223
click to vote
IRI
2008
IEEE
16 years 1 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
171
click to vote
TIME
2008
IEEE
16 years 1 months ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
197
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
157
click to vote
WCRE
2008
IEEE
16 years 1 months ago
2008
IEEE
A business application automates a collection of business processes. A business process describes how a set of logically related tasks are executed, ordered and managed by followi...