2519 search results - page 380 / 504 » cost 2007 |
164
click to vote
EUROPAR
2007
Springer
16 years 18 days ago
2007
Springer
Recently, virtualization of hardware resources to run multiple instances of independent virtual machines over physical hosts has gained popularity due to an industry-wide focus on ...
156
click to vote
FASE
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. In model-based development, a formal description of the software (the model) is the central artifact that drives other development activities. The availability of a model...
147
click to vote
FMCO
2007
Springer
16 years 18 days ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
184
click to vote
FPGA
2007
ACM
16 years 18 days ago
2007
ACM
Power consumption in field programmable gate arrays (FPGAs) has become an important issue as the FPGA market has grown to include mobile platforms. In this work we present a power...
159
click to vote
FSE
2007
Springer
16 years 18 days ago
2007
Springer
In this paper we present a cryptanalysis of a new 256-bit hash function, FORK-256, proposed by Hong et al. at FSE 2006. This cryptanalysis is based on some unexpected differential...