Sciweavers

28 search results - page 2 / 6
» ats 2010
Sort
View
SIAMMAX
2010
92views more  SIAMMAX 2010»
12 years 11 months ago
Solving a Structured Quadratic Eigenvalue Problem by a Structure-Preserving Doubling Algorithm
Abstract. In studying the vibration of fast trains, we encounter a palindromic quadratic eigenvalue problem (QEP) (2AT +Q+A)z = 0, where A, Q Cn
Chun-Hua Guo, Wen-Wei Lin
EOR
2010
119views more  EOR 2010»
13 years 4 months ago
Adaptive Tabu Search for course timetabling
This paper presents an Adaptive Tabu Search algorithm (denoted by ATS) for solving a problem of curriculum-based course timetabling. The proposed algorithm follows a general frame...
Zhipeng Lü, Jin-Kao Hao
CCS
2010
ACM
13 years 4 months ago
On the soundness of authenticate-then-encrypt: formalizing the malleability of symmetric encryption
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...
Ueli Maurer, Björn Tackmann
ATS
2010
IEEE
253views Hardware» more  ATS 2010»
13 years 2 months ago
On Signal Tracing for Debugging Speedpath-Related Electrical Errors in Post-Silicon Validation
One of the most challenging problems in post-silicon validation is to identify those errors that cause prohibitive extra delay on speedpaths in the circuit under debug (CUD) and o...
Xiao Liu, Qiang Xu
AHSWN
2010
103views more  AHSWN 2010»
13 years 4 months ago
Efficient Data Retrieving in Distributed Data-streaming Environments
In a potential distributed application, Automobile Tracking System (ATS), automobile location data is continuously generated, kept in a distributed manner. As large amount of traff...
Jinsong Han, Jun Miao, Jizhong Zhao, Jinpeng Huai,...