4344 search results - page 701 / 869 » The resourcefulness of everyday design |
CASES
2005
ACM
13 years 11 months ago
2005
ACM
Due to resource and power constraints, embedded processors often cannot afford dedicated floating-point units. For instance, the IBM PowerPC processor embedded in Xilinx Virtex-...
CHARME
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...
DMSN
2005
ACM
13 years 11 months ago
2005
ACM
In the resource over-constrained environment of sensor networks, techniques for storing data locally in sensor nodes have been proposed to support efficient processing of adhoc qu...
PODC
2010
ACM
13 years 11 months ago
2010
ACM
In this paper, we address the problem of content placement in peer-to-peer systems, with the objective of maximizing the utilization of peers' uplink bandwidth resources. We ...
ICA3PP
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Program behaviors reveal that programs have different sources requirement at different phases, even at continuous clocks. It is not a reasonable way to run different prog...