1452 search results - page 194 / 291 » Algorithmic Analysis of Array-Accessing Programs |
100
Voted
CSSE
2008
IEEE
15 years 7 months ago
2008
IEEE
—In this paper, a model of Embedded DC Motor Ethernet Control System is proposed with analysis on transmission time delay and data packet dropout. Based on this model, the ECS is...
86
Voted
IWDW
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we use the previously proposed calibrated DCT features [9] to construct a Support Vector Machine classifier for JPEG images capable of recognizing which steganograp...
101
click to vote
CP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
86
Voted
LCTRTS
2004
Springer
15 years 6 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
87
Voted
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...