9006 search results - page 1260 / 1802 » Modeling Software |
239
click to vote
SIAMCOMP
2011
14 years 10 months ago
2011
We consider the problem of testing graph expansion (either vertex or edge) in the bounded degree model [10]. We give a property tester that given a graph with degree bound d, an ex...
222
click to vote
IV
2007
IEEE
16 years 1 months ago
2007
IEEE
When visualising datasets that are too large to be displayed in their entirity, interactive navigation is a common solution. However, instantaneous updates of the visualisation wh...
193
click to vote
ISORC
2006
IEEE
16 years 1 months ago
2006
IEEE
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
184
click to vote
WETICE
2003
IEEE
16 years 14 days ago
2003
IEEE
Suitable programming models and associated supporting infrastructures are required to deal with large software systems dived in complex and dynamic network environments. Here, wit...
181
click to vote
PDP
1996
IEEE
15 years 11 months ago
1996
IEEE
A case study of performance and dependability evaluation of fault-tolerant multiprocessors is presented. Two specific architectures are analyzed taking into account system functio...