17450 search results - page 3250 / 3490 » Numerical Methods with Applications |
208
click to vote
TACAS
2007
Springer
16 years 21 days ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...
181
click to vote
ACSAC
2006
IEEE
16 years 20 days ago
2006
IEEE
Address space randomization is an emerging and promising method for stopping a broad range of memory corruption attacks. By randomly shifting critical memory regions at process in...
233
click to vote
DATE
2006
IEEE
16 years 19 days ago
2006
IEEE
same level of system-level CAD support that is now commonplace in the IC industry.Recent advances in microfluidics are expected to lead to sensor systems for high-throughput bioche...
172
click to vote
GLOBECOM
2006
IEEE
16 years 19 days ago
2006
IEEE
We investigate a cooperative communications scheme with N parallel relays, where both the transmissions from the source to the relays and from the relays to the destination use fo...
152
click to vote
IPPS
2006
IEEE
16 years 18 days ago
2006
IEEE
Distributed computing systems are a viable and less expensive alternative to parallel computers. However, concurrent programming methods in distributed systems have not been studi...