Sciweavers

2206 search results - page 356 / 442
» Software Engineering and Modeling Education: Problems and So...
Sort
View
TCAD
2010
136views more  TCAD 2010»
15 years 1 months ago
Bounded Model Debugging
Design debugging is a major bottleneck in modern VLSI design flows as both the design size and the length of the error trace contribute to its inherent complexity. With typical des...
Brian Keng, Sean Safarpour, Andreas G. Veneris
SIAMAM
2011
15 years 1 months ago
Wave Attenuation through Multiple Rows of Scatterers with Differing Periodicities
A solution method is proposed for calculating wave scattering by a multiple-row array in which the rows are permitted to have different periodicities. Each individual row contains ...
Luke G. Bennetts
APSEC
2001
IEEE
15 years 10 months ago
Orchestrating Computations on the World-Wide Web
Word processing software, email, and spreadsheet have revolutionized office activities. There are many other office tasks that are amenable to automation, such as: scheduling a vi...
Jayadev Misra, Harrick M. Vin
TIP
2010
155views more  TIP 2010»
15 years 1 months ago
Multiframe Super-Resolution Reconstruction of Small Moving Objects
Multiframe super-resolution (SR) reconstruction of small moving objects against a cluttered background is difficult for two reasons: a small object consists completely of "mix...
Adam W. M. van Eekeren, Klamer Schutte, Lucas J. v...
EUROSYS
2008
ACM
16 years 3 months ago
GreenFS: making enterprise computers greener by protecting them better
Hard disks contain data—frequently an irreplaceable asset of high monetary and non-monetary value. At the same time, hard disks are mechanical devices that consume power, are no...
Nikolai Joukov, Josef Sipek