252 search results - page 19 / 51 » Dynamic Symbolic Execution of Distributed Concurrent Objects |
SENSYS
2006
ACM
14 years 1 months ago
2006
ACM
It is vital to support concurrent applications sharing a wireless sensor network in order to reduce the deployment and administrative costs, thus increasing the usability and efï¬...
IOT
2010
13 years 4 months ago
2010
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...
VLSID
2002
IEEE
14 years 13 days ago
2002
IEEE
à This paper addresses the problem of static and dynamic variable voltage scheduling of multi-rate periodic task graphs (i.e., tasks with precedence relationships) and aperiodic t...
CASES
2008
ACM
13 years 9 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Large enterprises in application domains such as finance, banking, travel services, and hospital management use business processes for their day-to-day business. An integral part ...