285 search results - page 47 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
Only a handful of fundamental mechanisms for synchronizing the access of concurrent threads to shared memory are widely implemented and used. These include locks, condition variab...
99
Voted
PDIS
1994
IEEE
15 years 3 months ago
1994
IEEE
We propose a new client-side data-caching scheme for relational databases with a central server and multiple clients. Data are loaded into each client cache based on queries execut...
103
click to vote
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
Modern source-level debuggers support dynamic breakpoints that are guarded by conditions based on program state. Such breakpoints address situations where a static breakpoint is n...
125
click to vote
CONNECTION
2006
14 years 11 months ago
2006
We present an approach for recognition and clustering of spatio temporal patterns based on networks of spiking neurons with active dendrites and dynamic synapses. We introduce a n...
DSONLINE
2006
14 years 11 months ago
2006
We propose extending these middleware approaches with suitable abstractions to better support protocolbased interaction in mobile applications. To test our approach, we created Obj...