564 search results - page 76 / 113 » Animators for Generated Programming Environments |
186
Voted
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
Proof-carrying code (PCC) is a general framework that can, in principle, verify safety properties of arbitrary machine-language programs. Existing PCC systems and typed assembly l...
174
click to vote
ACMSE
2004
ACM
15 years 11 months ago
2004
ACM
Eclipse is a Java integrated development environment (IDE) and tool integration platform that offers numerous extension points for customization through a plug-in architecture. Th...
194
Voted
SFM
2005
Springer
15 years 11 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
174
Voted
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
198
Voted
APCSAC
2000
IEEE
15 years 9 months ago
2000
IEEE
Dataflow computation models enable simpler and more efficient management of the memory hierarchy - a key barrier to the performance of many parallel programs. This paper describes...