6059 search results - page 361 / 1212 » A Technique for Verifying Measurements |
170
click to vote
SAC
2004
ACM
16 years 9 days ago
2004
ACM
This paper presents an overview of our work, concerning a complete end-to-end framework for automatically generating message passing parallel code for tiled nested for-loops. It c...
155
click to vote
WISER
2004
ACM
16 years 9 days ago
2004
ACM
Many hardware/software co-design models have been proposed [7, 2, 5, 6] that attempt to address problems in the hardware/software interface, in partitioning the system between har...
170
click to vote
CDVE
2004
Springer
16 years 8 days ago
2004
Springer
Not all participants in a collaborative virtual environment (CVE) need to be informed of every other participant’s activities. The technique used for filtering irrelevant message...
194
click to vote
ICFEM
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
170
click to vote
IH
2004
Springer
16 years 7 days ago
2004
Springer
In this paper, we consider how to hide information into finite state machine (FSM), one of the popular computation models. The key advantage of hiding information in FSM is that t...