685 search results - page 11 / 137 » Implementing Controlled Languages in GF |
130
Voted
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
149
Voted
SIMUTOOLS
2008
15 years 5 months ago
2008
Evaluating the performance of a cooperative relaying protocol requires an implementation for simulators and/or software-defined radios (SDRs) with an appropriate model for error d...
136
Voted
ACSD
2001
IEEE
15 years 7 months ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
161
Voted
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to lowchine code. Full abstraction is achieved by relying on a fine-grain...
133
Voted
HASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Implementing real-time critical systems is an increasingly complex process that calls for high-level formal programming languages. Existing languages mainly focus on mono-periodic...