Sciweavers

4276 search results - page 312 / 856
» Techniques for Empirical Validation
Sort
View
ASPDAC
2006
ACM
74views Hardware» more  ASPDAC 2006»
16 years 22 days ago
Macromodelling oscillators using Krylov-subspace methods
— We present an efficient method for automatically extracting unified amplitude/phase macromodels of arbitrary oscillators from their SPICE-level circuit descriptions. Such com...
Xiaolue Lai, Jaijeet S. Roychowdhury
ACSAC
2005
IEEE
16 years 12 days ago
e-NeXSh: Achieving an Effectively Non-Executable Stack and Heap via System-Call Policing
We present e-NeXSh, a novel security approach that utilises kernel and LIBC support for efficiently defending systems against process-subversion attacks. Such attacks exploit vul...
Gaurav S. Kc, Angelos D. Keromytis
CHI
2004
ACM
16 years 5 days ago
Focus+Context sketching on a pocket PC
Current Personal Digital Assistants (PDAs) such as Pocket PCs provide little support for sketching. This is due, no doubt, to the limited screen size and relatively poor resolutio...
Edward Lank, Son Phan
IMC
2004
ACM
16 years 5 days ago
Ten fallacies and pitfalls on end-to-end available bandwidth estimation
The area of available bandwidth (avail-bw) estimation has attracted significant interest recently, with several estimation techniques and tools developed during the last 2-3 year...
Manish Jain, Constantinos Dovrolis
ICRA
2003
IEEE
128views Robotics» more  ICRA 2003»
16 years 1 days ago
Improvement of passive elements for wearable haptic displays
In this paper, three fundamental techniques to improve laminated passive elements are proposed for wearable haptic displays. First, a new shape of sheet surfaces in laminated pass...
Sadao Kawamura, Katsuya Kanaoka, Yuichiro Nakayama...