Sciweavers

6960 search results - page 292 / 1392
» Continuity Analysis of Programs
Sort
View
IPPS
2007
IEEE
15 years 10 months ago
Annotation Integration and Trade-off Analysis for Multimedia Applications
Multimedia applications for mobile devices, such as video/audio streaming, process streams of incoming data in a regular, predictable way. Content-aware optimizations through anno...
Radu Cornea, Alex Nicolau, Nikil Dutt
ER
2003
Springer
158views Database» more  ER 2003»
15 years 9 months ago
Analysis of Web Services Composition Languages: The Case of BPEL4WS
Abstract. Web services composition is an emerging paradigm for application integration within and across organizational boundaries. A landscape of languages and techniques for web ...
Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas...
EUROCAST
2001
Springer
189views Hardware» more  EUROCAST 2001»
15 years 8 months ago
Assertion-Based Analysis of Hybrid Systems with PVS
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...
Erika Ábrahám-Mumm, Ulrich Hannemann...
127
Voted
DAC
1999
ACM
15 years 8 months ago
Model Order-Reduction of RC(L) Interconnect Including Variational Analysis
As interconnect feature sizes continue to scale to smaller dimensions, long interconnect can dominate the IC timing performance, but the interconnect parameter variations make it ...
Ying Liu, Lawrence T. Pileggi, Andrzej J. Strojwas
ISCAS
1994
IEEE
96views Hardware» more  ISCAS 1994»
15 years 8 months ago
Analysis and Design of Adaptive Self-Trimming Technique for A/D Converters
A novel self-trimming algorithm for A/D converters [1,2] has been presented which continually trims thresholds in the flash A/D subconverters of two-stage and pipelined A/D conver...
Zhiqiang Gu, W. Martin Snelgrove