13752 search results - page 2572 / 2751 » Parallel and Distributed Haskells |
175
click to vote
IEEEPACT
2005
IEEE
16 years 14 days ago
2005
IEEE
We describe the design, generation and compression of the extended whole program path (eWPP) representation that not only captures the control flow history of a program execution...
171
click to vote
IEEEPACT
2005
IEEE
16 years 14 days ago
2005
IEEE
Dynamic optimization has the potential to adapt the program’s behavior at run-time to deliver performance improvements over static optimization. Dynamic optimization systems usu...
216
click to vote
ISORC
2005
IEEE
16 years 14 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
177
click to vote
ISORC
2005
IEEE
16 years 14 days ago
2005
IEEE
Transcoding is an important technology which adapts the same multimedia object to diverse mobile appliances; thus, users’ requests for a specified version of a multimedia objec...
186
click to vote
ISORC
2005
IEEE
16 years 14 days ago
2005
IEEE
In this paper, we propose an architecture for adaptive real-time workflow-based collaborative system. Such a system is needed to support real-time communication and sharing of inf...