909 search results - page 29 / 182 » Temporal Logic Case Study |
145
Voted
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
125
Voted
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
153
Voted
RSP
2008
IEEE
15 years 10 months ago
2008
IEEE
ASIP-based implementations constitute a key trend in SoC design enabling optimal tradeoffs between performance and flexibility. This paper details a case study of an ASIP-based im...
143
Voted
DAC
1997
ACM
15 years 8 months ago
1997
ACM
We describe an architectural design space exploration methodology that minimizes the energy dissipation of digital circuits. The centerpiece of our methodology is a Verilog-based ...
178
Voted
PLPV
2012
ACM
13 years 11 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...