7049 search results - page 1350 / 1410 » Data Abstraction for CSP-OZ |
ISPASS
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract— This paper proposes to speedup sampled microprocessor simulations by reducing warmup times without sacrificing simulation accuracy. It exploiting the observation that ...
SIGSOFT
2003
ACM
14 years 2 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
BIRTHDAY
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...
CIVR
2003
Springer
14 years 2 months ago
2003
Springer
We present an algorithm for video retrieval that fuses the decisions of multiple retrieval agents in both text and image modalities. While the normalization and combination of evi...
FATES
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...