2500 search results - page 128 / 500 » Specifying Behavior in C |
124
click to vote
ASPDAC
2001
ACM
15 years 7 months ago
2001
ACM
This paper describes a novel approach to high-level synthesis of complex pipelined circuits, including pipelined circuits with feedback. This approach combines a high-level, modula...
WSC
2004
15 years 4 months ago
2004
We describe a characterization the three classical world views of event scheduling, activity scanning, and process interaction and discuss transformations among them. We believe t...
129
click to vote
ATMN
1997
15 years 4 months ago
1997
ABR was standardised by the ATM Forum in 1996 . Source, destination and switch behaviours were specified. However, a lot of freedom was left to the switch manufacturers to impleme...
108
click to vote
APIN
2007
15 years 3 months ago
2007
In this paper a modelling approach to the dynamics within a multi-agent organisation is presented. A declarative, executable specification language for dynamics within an organisat...
128
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present our approach for deploying and managing distributed component-based applications. A Desired State Description (DSD), written in a high-level declarative langua...