Sciweavers

1067 search results - page 88 / 214
» Analysis of BPEL Data Dependencies
Sort
View
92
Voted
ICCAD
2001
IEEE
113views Hardware» more  ICCAD 2001»
15 years 9 months ago
Compact Modeling and SPICE-Based Simulation for Electrothermal Analysis of Multilevel ULSI Interconnects
This paper presents both compact analytical models and fast SPICE based 3-D electro-thermal simulation methodology to characterize thermal effects due to Joule heating in high per...
TingYen Chiang, Kaustav Banerjee, Krishna Saraswat
120
Voted
ICC
2007
IEEE
130views Communications» more  ICC 2007»
15 years 7 months ago
Queuing with Adaptive Modulation over MIMO Wireless Links for Deadline Constrained Traffic: Cross-Layer Analysis and Design
In this paper, we consider a deadline constrained traffic and analyze the joint effects of packet queuing and adaptive modulation (AM) for packet transmission in MIMO systems. We p...
Jalil S. Harsini, Farshad Lahouti
92
Voted
SAS
2004
Springer
140views Formal Methods» more  SAS 2004»
15 years 6 months ago
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
Sumit Gulwani, George C. Necula
126
Voted
TOOLS
2000
IEEE
15 years 5 months ago
Algorithmic Analysis of the Impacts of Changes to Object-Oriented Software
The research presented here addresses the problem of change impact analysis CIA for object-oriented software. A major problem for developers in an evolutionary environment is th...
Michelle Lee, A. Jefferson Offutt, Roger T. Alexan...
138
Voted
ICONIP
2008
15 years 2 months ago
Time Series Analysis for Long Term Prediction of Human Movement Trajectories
This paper's intention is to adapt prediction algorithms well known in the field of time series analysis to problems being faced in the field of mobile robotics and Human-Robo...
Sven Hellbach, Julian Eggert, Edgar Körner, H...