4469 search results - page 713 / 894 » Dynamic Program Slicing |
84
Voted
EICS
2009
ACM
15 years 5 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
97
Voted
SIGECOM
2009
ACM
15 years 5 months ago
2009
ACM
In the context of auctions for digital goods, an interesting Random Sampling Optimal Price auction (RSOP) has been proposed by Goldberg, Hartline and Wright; this leads to a truth...
100
click to vote
AICCSA
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
— The voice-coil-motor is a widely used mechatronic device, which represents a typical electrodynamic actuator for machine tool axes, bonding machines and hydraulic/pneumatic val...
75
Voted
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
We consider a networked control system, where each subsystem evolves as a Markov decision process (MDP). Each subsystem is coupled to its neighbors via communication links over wh...