469 search results - page 57 / 94 » Extended abstract: a race-free hardware modeling language |
108
Voted
TAICPART
2006
IEEE
15 years 7 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
112
click to vote
COMPUTER
2002
15 years 1 months ago
2002
rs use models or abstractions that hide low-level implementation details. Various kinds of representations such as data models, state-transition models, and dataflow models can hel...
101
click to vote
ERSA
2006
15 years 2 months ago
2006
In this paper we first outline and discuss the issues of currently accepted computational models for hybrid CPU/FPGA systems. Then, we discuss the need for researchers to develop ...
111
click to vote
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
125
click to vote
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...