677 search results - page 74 / 136 » Dependent Types from Counterexamples |
LICS
2009
IEEE
15 years 4 months ago
2009
IEEE
—What is reachability in higher-order functional programs? We formulate reachability as a decision problem in the setting of the prototypical functional language PCF, and show th...
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
This work evaluates task allocation strategies based on bin-packing algorithms in the context of multiprocessor systems-on-chip (MPSoCs) with task migration capabilities, running ...
CEC
2007
IEEE
15 years 4 months ago
2007
IEEE
— Determining the optimal topology of a graph is pertinent to many domains, as graphs can be used to model a variety of systems. Evolutionary algorithms constitute a popular opti...
RSP
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents the design and the performance evaluation of a coarse-grain dynamically reconfigurable platform for network applications. The platform consists of two MicroBla...
CAISE
2005
Springer
15 years 3 months ago
2005
Springer
In vague queries, a user enters a value that represents some real world object and expects as the result the set of database values that represent this real world object even with ...