12452 search results - page 2086 / 2491 » An exploration of program as language |
190
click to vote
GPCE
2003
Springer
16 years 25 days ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
206
click to vote
ICALP
2003
Springer
16 years 24 days ago
2003
Springer
We consider requests for capacity in a given tree network T = (V, E) where each edge of the tree has some integer capacity ue. Each request consists of an integer demand df and a ...
194
click to vote
IPPS
2002
IEEE
16 years 16 days ago
2002
IEEE
Future high-end computers will offer great performance improvements over today’s machines, enabling applications of far greater complexity. However, designers must solve the cha...
238
click to vote
LICS
2002
IEEE
16 years 16 days ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
212
click to vote
PDP
2002
IEEE
16 years 15 days ago
2002
IEEE
Despite the explosive new interest in Distributed Computing, bringing software — particularly legacy software — to parallel platforms remains a daunting task. The Self Distrib...