1722 search results - page 4 / 345 » Dedication |
WSC
2008
14 years 4 days ago
2008
Cluster or chamber tools are often used in the semiconductor industry. In a research environment, moving to smaller device dimensions requires experimentation with new chamber typ...
IFIP12
2007
13 years 11 months ago
2007
This paper presents the principles of a Home Automation System dedicated to power management that adapts power consumption to available power ressources according to user comfort a...
ENTCS
2002
13 years 9 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
DSD
2010
IEEE
13 years 8 months ago
2010
IEEE
— In this paper we propose a new method of test patterns compression based on a design of a dedicated SAT-based ATPG (Automatic Test Pattern Generator). This compression method i...
ANCS
2008
ACM
13 years 11 months ago
2008
ACM
The significance of high-performance dedicated networks has been well recognized due to the rapidly increasing number of large-scale applications that require high-speed data tran...