Sciweavers

1453 search results - page 81 / 291
» State and history in operating systems
Sort
View
136
Voted
AMAST
2004
Springer
15 years 4 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
114
Voted
CONCUR
2009
Springer
14 years 10 months ago
On Convergence of Concurrent Systems under Regular Interactions
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanatha...
94
Voted
DEXA
1998
Springer
119views Database» more  DEXA 1998»
15 years 4 months ago
Building Consistent Sample Databases to Support Information System Evolution and Migration
Prototype databases are needed in any information system development process to support data-intensive applications development. It is common practice to populate these databases u...
Jesus Bisbal, Bing Wu, Deirdre Lawless, Jane Grims...
86
Voted
IPPS
2007
IEEE
15 years 6 months ago
Power, Performance, and Thermal Management for High-Performance Systems
In future high-performance systems it will be essential to balance often-conflicting objectives of performance, power, energy, and temperature under variable workload and environ...
Heather Hanson, Stephen W. Keckler, Karthick Rajam...
91
Voted
ICSE
1999
IEEE-ACM
15 years 4 months ago
Using a Goal-Driven Approach to Generate Test Cases for GUIs
The widespread use of GUIs for interacting with software is leading to the construction of more and more complex GUIs. With the growing complexity comes challenges in testing the ...
Atif M. Memon, Martha E. Pollack, Mary Lou Soffa