1702 search results - page 224 / 341 » Doomed program points |
143
click to vote
DI
2007
15 years 4 months ago
2007
All Windows memory analysis techniques depend on the examiner’s ability to translate the virtual addresses used by programs and operating system components into the true locatio...
147
click to vote
JUCS
2008
15 years 4 months ago
2008
: This paper presents a novel market model for balancing communication bandwidth trade. The distinguishing characteristic of the model is that it assumes that market players can pl...
157
click to vote
ORL
2008
15 years 4 months ago
2008
A central result in the theory of integer optimization states that a system of linear diophantine equations Ax = b has no integral solution if and only if there exists a vector in...
137
Voted
TASE
2008
IEEE
15 years 4 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
115
click to vote
JIPS
2007
15 years 4 months ago
2007
: This paper describes the development of the sensor interface and driver program for a point of care (POC) device. The proposed POC device comprises an ARM9 embedded processor and...