Sciweavers

3901 search results - page 360 / 781
» software 2008
Sort
View
ERLANG
2008
ACM
15 years 8 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes
SAC
2008
ACM
15 years 5 months ago
ICER: a tool for finding errors in a UML model
Detecting errors in an early phase of software development can help to reduce the cost of software systems. Many research attempts presented a fixed set of rules to help finding e...
Wuwei Shen, Dae-Kyoo Kim
CHI
2008
ACM
16 years 7 months ago
Location and activity sharing in everyday mobile communication
Frank Bentley We present a study on current, real-world communication of location and activity information based on analyzing context-sharing practices in recorded mobile phone cal...
Frank Bentley, Crysta J. Metcalf
EUROSYS
2008
ACM
16 years 3 months ago
Replication degree customization for high availability
Object replication is a common approach to enhance the availability of distributed data-intensive services and storage systems. Many such systems are known to have highly skewed o...
Ming Zhong, Kai Shen, Joel I. Seiferas
CASES
2008
ACM
15 years 8 months ago
Exploring and predicting the architecture/optimising compiler co-design space
Embedded processor performance is dependent on both the underlying architecture and the compiler optimisations applied. However, designing both simultaneously is extremely difficu...
Christophe Dubach, Timothy M. Jones, Michael F. P....