4820 search results - page 346 / 964 » Implementing Signatures for C |
105
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ï...
143
click to vote
EUC
2005
Springer
15 years 10 months ago
2005
Springer
A new system for real-time customer relationship management is proposed. The system is based on deploying a network of RFID readers throughout an environment. Information about the...
126
click to vote
ICCSA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describes an architecture for publishing and executing parallel legacy code using an OGSI Grid service. A framework is presented that aids existing legacy appl...
131
click to vote
SBCCI
2003
ACM
15 years 9 months ago
2003
ACM
IP reuse is essential in embedded SoC design. IP components may be described in different modeling languages and present heterogeneous interfaces. The Tangram environment supports...
117
click to vote
CC
2003
Springer
15 years 9 months ago
2003
Springer
Many processes can be seen as transformations of tree-like data structures. In compiler construction, for example, we continuously manipulate trees and perform tree transformations...