1077 search results - page 121 / 216 » Hardware code generation from dataflow programs |
140
click to vote
CDES
2006
15 years 3 months ago
2006
Compilation has a long history of translating a programmer's human-readable code into machine instructions designed to make good use of a specific target computer. In this pa...
107
click to vote
SAINT
2006
IEEE
15 years 7 months ago
2006
IEEE
We present a novel approach to conserve power in networked mobile devices. Our approach exploits communication within a pervasive smart space as an opportunity to save power as op...
128
click to vote
DOCENG
2010
ACM
15 years 2 months ago
2010
ACM
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
122
click to vote
TOOLS
2009
IEEE
15 years 8 months ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
102
click to vote
PLDI
2010
ACM
15 years 5 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...