Sciweavers

4018 search results - page 459 / 804
» Process algebra for performance evaluation
Sort
View
WDAG
2005
Springer
92views Algorithms» more  WDAG 2005»
16 years 5 days ago
Plausible Clocks with Bounded Inaccuracy
In a distributed system with N processes, time stamps of size N (such as vector clocks) are necessary to accurately track potential causality between events. Plausible clocks are a...
Brad T. Moore, Paolo A. G. Sivilotti
ISW
2004
Springer
16 years 2 days ago
The Obfuscation Executive
Abstract. Code obfuscations are semantics-preserving code transformations used to protect a program from reverse engineering. There is generally no expectation of complete, long-te...
Kelly Heffner, Christian S. Collberg
FDL
2003
IEEE
15 years 12 months ago
UML-based Specifications of an Embedded System oriented to HW/SW partitioning: a case study
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
A. Minosi, S. Mankan, A. Martinola, F. Balzarini, ...
ICDAR
1999
IEEE
15 years 11 months ago
Robust Skew Estimation on Low-Resolution Document Images
In this paper, we present a new technique for estimating an arbitrary skew angle using a simple and efficient text row accumulation based on the statistics of the 1st and 2nd orde...
Oleg Okun, Matti Pietikäinen, Jaakko J. Sauvo...
ICCAD
1998
IEEE
71views Hardware» more  ICCAD 1998»
15 years 11 months ago
High-level variable selection for partial-scan implementation
In this paper, we propose a high-level variable selection for partial-scan approach to improve the testability of digital systems. The testability of a design is evaluated at the ...
Frank F. Hsu, Janak H. Patel