7421 search results - page 332 / 1485 » In search of dependable design |
147
Voted
FUN
2007
Springer
16 years 1 months ago
2007
Springer
We discuss some new geometric puzzles and the complexity of their extension to arbitrary sizes. For gate puzzles and two-layer puzzles we prove NP-completeness of solving them. No...
178
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
The bin packing problem (BPP) is a real-world problem that arises in different industrial applications related to minimization of space or time. The aim of this research is to au...
125
click to vote
ICMCS
2006
IEEE
16 years 27 days ago
2006
IEEE
In this paper, we examine the prefetching strategies in a peerdriven video on-demand system. In our design, each video is encoded into multiple low bit-rate substreams and copies ...
182
click to vote
ICRA
2006
IEEE
16 years 27 days ago
2006
IEEE
— A numerical simulation of the magnetic field in the imaging volume of a magnetic resonance imaging (MRI) scanner and a method for quick searches for electromagnetic noise sour...
183
click to vote
CSMR
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a technique for recovering the high level design of legacy software systems according to user defined architectural plans. Architectural plans are represented...