Sciweavers

2468 search results - page 475 / 494
» On Model Checking Techniques for Randomized Distributed Syst...
Sort
View
TVCG
2008
134views more  TVCG 2008»
15 years 3 months ago
Balloon Focus: a Seamless Multi-Focus+Context Method for Treemaps
The treemap is one of the most popular methods for visualizing hierarchical data. When a treemap contains a large number of items, inspecting or comparing a few selected items in a...
Ying Tu, Han-Wei Shen
ECRTS
2007
IEEE
15 years 9 months ago
A Delay Composition Theorem for Real-Time Pipelines
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
Praveen Jayachandran, Tarek F. Abdelzaher
CASES
2007
ACM
15 years 7 months ago
A fast and generic hybrid simulation approach using C virtual machine
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
Lei Gao, Stefan Kraemer, Rainer Leupers, Gerd Asch...
ICSE
2008
IEEE-ACM
16 years 3 months ago
The economy of collective attention for situated knowledge collaboration in software development
Because the knowledge required for the construction of a complex software system is often widely distributed among its members, programmers routinely engage in collaboration with ...
Yunwen Ye, Kumiyo Nakakoji, Yasuhiro Yamamoto
PDP
2010
IEEE
15 years 10 months ago
SLA-driven Elastic Cloud Hosting Provider
—It is clear that Cloud computing is and will be a sea change for the Information Technology by changing the way in which both software and hardware are designed and purchased. I...
Josep Oriol Fito, Iñigo Goiri, Jordi Guitar...