250 search results - page 28 / 50 » Implementing a Control System Framework for Automatic Genera... |
125
Voted
IFM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
136
Voted
USS
2004
15 years 4 months ago
2004
We present Tor, a circuit-based low-latency anonymous communication service. This second-generation Onion Routing system addresses limitations in the original design by adding per...
118
Voted
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...
135
Voted
LCPC
2000
Springer
15 years 6 months ago
2000
Springer
This paper proposes a simple and efficient implementation method for a hierarchical coarse grain task parallel processing scheme on a SMP machine. OSCAR multigrain parallelizing c...
122
Voted
TCS
2008
15 years 2 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...