3706 search results - page 362 / 742 » The Transformational Approach to Program Development |
127
click to vote
CASES
2009
ACM
15 years 8 months ago
2009
ACM
Security of smart cards is continuously threatened by many software and hardware attacks. Those attacks focus on giving secret information that are stored in the card like PIN cod...
148
click to vote
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
We study various shortcut fusion rules for languages like Haskell. Following a careful semantic account of a recently proposed rule for circular program transformation, we propose ...
159
Voted
IANDC
2010
15 years 1 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
146
click to vote
VLSISP
2011
14 years 11 months ago
2011
Loop distribution and loop fusion are two effective loop transformation techniques to optimize the execution of the programs in DSP applications. In this paper, we propose a new t...
150
Voted
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Monitoring is a task of collecting measurements that reflect the state of a system. Administration is a collection of tasks for control and manipulation of computer systems. Monito...