5119 search results - page 811 / 1024 » Security Privacy |
167
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
145
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Many language implementations, particularly for high-level and scripting languages, are based on carefully honed runtime systems that have an internally sequential execution model...
194
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Tribal Ownership unifies class nesting and object ownership. Tribal Ownership is based on Tribe, a language with nested classes and object families. In Tribal Ownership, a progra...
204
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
215
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Consumer electronics today such as cell phones often have one or more low-power FPGAs to assist with energyintensive operations in order to reduce overall energy consumption and i...