3056 search results - page 610 / 612 » Compiling Embedded Languages |
154
Voted
ANSOFT
2002
15 years 1 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
124
Voted
JSA
2000
15 years 28 days ago
2000
In this article, the problem of finding a tight estimate on the worst-case execution time (WCET) of a real-time program is addressed. The analysis is focused on straight-line code...
132
Voted
JUCS
2000
15 years 28 days ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
132
Voted
LICS
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...
156
Voted
ACSAC
2010
IEEE
14 years 11 months ago
2010
IEEE
The JavaScript language is a core component of active and dynamic web content in the Internet today. Besides its great success in enhancing web applications, however, JavaScript p...