533 search results - page 25 / 107 » Protocol synthesis from timed and structured specifications |
95
Voted
ISSS
1999
IEEE
15 years 1 months ago
1999
IEEE
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
109
click to vote
KDD
2009
ACM
15 years 10 months ago
2009
ACM
Time series prediction is an important issue in a wide range of areas. There are various real world processes whose states vary continuously, and those processes may have influenc...
HYBRID
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
87
Voted
IMC
2007
ACM
14 years 11 months ago
2007
ACM
In this paper we consider the problem of determining traffic matrices for end-to-end demands in an IP/MPLS network that supports multiple quality of service (QoS) classes. More pr...
DAC
1996
ACM
15 years 1 months ago
1996
ACM
This paper presents the design of a Videophone CoderDecoder Motion Estimator using two High-Level Synthesis tools. Indeed, the combination of a Control Flow Dominated part (comple...