429 search results - page 50 / 86 » Symbolic Computation Software Composability |
CHI
2007
ACM
16 years 4 days ago
2007
ACM
Software can now track which computer applications and documents you use. This provides us with the potential to help end-users recall past activities for tasks such as status rep...
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents the performance improvements and the energy reductions by coupling a highperformance coarse-grained reconfigurable data-path with a microprocessor in a generic...
103
click to vote
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
OTM
2004
Springer
15 years 5 months ago
2004
Springer
Currently, a number of distributed software systems development tools exist, but typically they are designed either to satisfy industrial standards – industrial perspective – o...
117
click to vote
SPIN
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...