1704 search results - page 161 / 341 » Design of a Concurrent and Distributed Language |
122
Voted
CONTEXT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Delimited continuations are the meanings of delimited evaluation contexts in programming languages. We show they offer a uniform view of many scenarios that arise in sys...
121
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
118
click to vote
ICESS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
149
click to vote
FPL
2009
Springer
15 years 7 months ago
2009
Springer
High-Level Synthesis (HLS) is the field of transforming a high-level programming language, such as C, into a register transfer level(RTL) description of the design. In HLS, Binary...
139
click to vote
IFIPTCS
2000
15 years 7 months ago
2000
Hierarchical state machines are finite state machines whose states themselves can be other machines. In spite of their popularity in many modeling tools for software design, very l...