748 search results - page 144 / 150 » Automatic Presentations and Semigroup Constructions |
MICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...
RTSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Automakers are trying to make vehicles more intelligent and safe by embedding processors which can be used to implement by-wire applications for taking smart decisions on the road...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
LOPSTR
2007
Springer
14 years 1 months ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
IEEEPACT
2006
IEEE
14 years 1 months ago
2006
IEEE
Code restructuring compilers rely heavily on program analysis techniques to automatically detect data dependences between program statements. Dependences between statement instanc...