11376 search results - page 204 / 2276 » Willow System Demonstration |
151
click to vote
APLAS
2004
ACM
15 years 12 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
176
click to vote
ATAL
2004
Springer
15 years 12 months ago
2004
Springer
Product Distribution (PD) theory was recently developed as a framework for analyzing and optimizing distributed systems. In this paper we demonstrate its use for adaptive distribu...
186
click to vote
CIVR
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a system designed for the management of multimedia databases that embarks upon the problem of efficient media processing and representation for automatic semant...
177
click to vote
RSP
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
165
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...