9018 search results - page 1510 / 1804 » 3D-Brain Model Software |
171
Voted
INFOCOM
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract— Simulation has been the dominant research methodology in wireless and sensor networking. When mobility is added, real-world experimentation is especially rare. However,...
176
click to vote
ASPLOS
2006
ACM
16 years 3 days ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
190
Voted
PASTE
2005
ACM
15 years 11 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
162
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
175
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
Reuse of existing code from class libraries and frameworks is often difficult because APIs are complex and the client code required to use the APIs can be hard to write. We obser...