6274 search results - page 1185 / 1255 » Proofs, Programs, Processes |
DAC
2006
ACM
16 years 25 days ago
2006
ACM
In this paper, we present a methodology for low-cost and rapid context switch for multithreaded embedded processors with realtime guarantees. Context-switch, which involves saving...
ICSE
2008
IEEE-ACM
16 years 20 days ago
2008
IEEE-ACM
The design and implementation of the reconstruction system in medical X-ray imaging is a challenging issue due to its immense computational demands. In order to ensure an efficien...
105
click to vote
ICSE
2008
IEEE-ACM
16 years 20 days ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
120
click to vote
SIGSOFT
2003
ACM
16 years 18 days ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
SIGSOFT
2001
ACM
16 years 18 days ago
2001
ACM
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...