In this study, an automated adaptive mesh control scheme, based on local mesh modifications, is developed for the finite element simulations of 3D metal forming processes. Error i...
This paper describes preliminary work in the use of a virtual environment to derive just noticeable differences (JNDs) for force. Specifically, we look for thresholds of force sen...
We describe a deterministic model of packet delay and use it to derive both the packet pair [2] property of FIFO-queueing networks and a new technique (packet tailgating) for acti...
The Elmore delay is the metric of choice for performancedriven design applications due to its simple, explicit form and ease with which sensitivity information can be calculated. ...
Emrah Acar, Altan Odabasioglu, Mustafa Celik, Lawr...
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
Andreas Podelski, Witold Charatonik, Martin Mü...