571 search results - page 67 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
GRID
2005
Springer
15 years 3 months ago
2005
Springer
— Developing applications for parallel and distributed systems is hard due to their nondeterministic nature; developing debugging tools for such systems and applications is even ...
DASFAA
2008
IEEE
14 years 11 months ago
2008
IEEE
We study a novel problem of mining significant recurrent rules from a sequence database. Recurrent rules have the form "whenever a series of precedent events occurs, eventuall...
EUROPAR
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we develop a Cooperative Mobility Model that captures new salient features of collaborative and mission-oriented MANETs. In particular, the cost-benefit framework o...
105
click to vote
ICPPW
2007
IEEE
15 years 4 months ago
2007
IEEE
We study the role of task-level scheduling in power management on multicore multiple voltage embedded systems. Multicore on-achip, in particular DSP systems, can greatly improve p...
EDOC
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper we introduce an analysis framework for mobile workforce automation. The framework is based on the findings from earlier research as well as on an analysis of 27 rec...