275 search results - page 39 / 55 » Structural Information Analysis for CLP Languages |
166
Voted
SAMOS
2004
Springer
15 years 9 months ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
145
Voted
DOCENG
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we present an experimental content adaptation system for mobile devices. The system enables the presentation of multimedia content and considers the problem of small...
149
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
We present a points-to analysis technique suitable for environments with small time and memory budgets, such as just-in-time (JIT) compilers and interactive development environmen...
124
Voted
CCS
2007
ACM
15 years 9 months ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
134
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...