Sciweavers

9316 search results - page 1623 / 1864
» Analysis of traceback techniques
Sort
View
TVLSI
2002
130views more  TVLSI 2002»
15 years 6 months ago
Incremental compilation for parallel logic verification systems
Although simulation remains an important part of application-specific integrated circuit (ASIC) validation, hardware-assisted parallel verification is becoming a larger part of the...
R. Tessier, S. Jana
VLDB
2002
ACM
122views Database» more  VLDB 2002»
15 years 6 months ago
Lightweight Flexible Isolation for Language-based Extensible Systems
Safe programming languages encourage the development of dynamically extensible systems, such as extensible Web servers and mobile agent platforms. Although protection is of utmost...
Laurent Daynès, Grzegorz Czajkowski
CORR
2008
Springer
128views Education» more  CORR 2008»
15 years 6 months ago
Electricity Demand and Energy Consumption Management System
This project describes the electricity demand and energy consumption management system and its application to Southern Peru smelter. It is composted of an hourly demand-forecastin...
Juan Ojeda Sarmiento
MR
2007
157views Robotics» more  MR 2007»
15 years 6 months ago
Electronic prognostics - A case study using global positioning system (GPS)
– Prognostic health management (PHM) of electronic systems presents challenges traditionally viewed as either insurmountable or otherwise not worth the cost of pursuit. Recent ch...
Douglas W. Brown, Patrick W. Kalgren, Carl S. Byin...
PR
2007
85views more  PR 2007»
15 years 6 months ago
Grey-level hit-or-miss transforms - part II: Application to angiographic image processing
The hit-or-miss transform (HMT) is a fundamental operation on binary images, widely used since 40 years. As it is not increasing, its extension to grey-level images is not straigh...
Benoît Naegel, Nicolas Passat, Christian Ron...
« Prev « First page 1623 / 1864 Last » Next »