Sciweavers

779 search results - page 41 / 156
» A Simple Program Transformation for Parallelism
Sort
View
IPPS
1998
IEEE
13 years 12 months ago
Code Transformations for Low Power Caching in Embedded Multimedia Processors
In this paper, we present several novel strategies to improve software controlled cache utilization, so as to achieve lower power requirements for multi-media and signal processin...
Chidamber Kulkarni, Francky Catthoor, Hugo De Man
IPPS
2006
IEEE
14 years 1 months ago
A performance model for fine-grain accesses in UPC
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...
Zhang Zhang, S. R. Seidel
AI
2011
Springer
13 years 2 months ago
Stable models and circumscription
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
COMPSAC
2008
IEEE
14 years 2 months ago
Modeling by Form Transformation for End-User Initiative Development
2. Previous studies on end-user computing The development of Web applications should be supported by business professionals themselves since Web applications must be modified frequ...
Takeshi Chusho, Noriyuki Yagi
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
14 years 1 months ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton