Sciweavers

7080 search results - page 748 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
ICIP
2003
IEEE
16 years 9 months ago
Text to visual synthesis with appearance models
This paper presents a new method named text to visual synthesis with appearance models (TEVISAM) for generating videorealistic talking heads. In a first step, the system learns a ...
Javier Melenchón, Fernando De la Torre, Ign...
MJ
2006
84views more  MJ 2006»
15 years 7 months ago
Impact of the surface roughness on the electrical capacitance
A new hybrid approach consists to use the advantages of both systems namely the high geometric aspects of the electrodes of the ultracapacitor and the high dielectric strength of ...
A. Albina, P. L. Taberna, J. P. Cambronne, P. Simo...
DATE
2009
IEEE
101views Hardware» more  DATE 2009»
16 years 2 months ago
A monitor interconnect and support subsystem for multicore processors
Abstract— In many current SoCs, the architectural interface to onchip monitors is ad hoc and inefficient. In this paper, a new architectural approach which advocates the use of a...
Sailaja Madduri, Ramakrishna Vadlamani, Wayne Burl...
FM
2005
Springer
89views Formal Methods» more  FM 2005»
16 years 24 days ago
Control Law Diagrams in Circus
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
Ana Cavalcanti, Phil Clayton, Colin O'Halloran
VISSOFT
2002
IEEE
16 years 5 days ago
Metrics-Based 3D Visualization of Large Object-Oriented Programs
In this paper a new approach for a metrics based software visualization is presented which supports an efficient and effective quality assessment of large object-oriented software...
Claus Lewerentz, Frank Simon