Sciweavers

1329 search results - page 204 / 266
» Models and solution techniques for frequency assignment prob...
Sort
View
DAC
2008
ACM
16 years 4 months ago
On reliable modular testing with vulnerable test access mechanisms
In modular testing of system-on-a-chip (SoC), test access mechanisms (TAMs) are used to transport test data between the input/output pins of the SoC and the cores under test. Prio...
Lin Huang, Feng Yuan, Qiang Xu
RTAS
2007
IEEE
15 years 9 months ago
Reliability-Aware Energy Management for Periodic Real-Time Tasks
The prominent energy management technique in real-time embedded systems, Dynamic Voltage and Frequency Scaling (DVFS), was recently shown to have direct and adverse effects on sys...
Dakai Zhu, Hakan Aydin
ICDE
2008
IEEE
117views Database» more  ICDE 2008»
16 years 4 months ago
Similarity Search in Arbitrary Subspaces Under Lp-Norm
Similarity search has been widely used in many applications such as information retrieval, image data analysis, and time-series matching. Specifically, a similarity query retrieves...
Xiang Lian, Lei Chen 0002
LPAR
2012
Springer
13 years 10 months ago
The TPTP Typed First-Order Form with Arithmetic
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Pe...
SMA
2006
ACM
101views Solid Modeling» more  SMA 2006»
15 years 9 months ago
A higher dimensional formulation for robust and interactive distance queries
We present an efficient and robust algorithm for computing the minimum distance between a point and freeform curve or surface by lifting the problem into a higher dimension. This...
Joon-Kyung Seong, David E. Johnson, Elaine Cohen