2180 search results - page 97 / 436 » Performance analysis of concurrent systems with early evalua... |
315
click to vote
POPL
2002
ACM
16 years 6 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
192
click to vote
CNSR
2007
IEEE
16 years 21 days ago
2007
IEEE
Position localization of transmitters can be carried out by an adversary owning a network of pervasive receivers, which can pinpoint the victim mobile nodes’ locations with high...
200
click to vote
ICMCS
2008
IEEE
16 years 23 days ago
2008
IEEE
We design a test methodology to analyze in detail the video quality received at each peer in a peer-to-peer (P2P) video streaming system. The metrics that we employ at each peer i...
193
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Simultaneous reachability analysis SRA is a recently proposed approach to alleviating the state space explosion problem in reachability analysis of concurrent systems. Th...
162
click to vote
ICMI
2003
Springer
15 years 11 months ago
2003
Springer
Multimodal interfaces are designed with a focus on flexibility, although very few currently are capable of adapting to major sources of user, task, or environmental variation. The...