449 search results - page 72 / 90 » Model Checking Large Software Specifications |
OOPSLA
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
TOOLS
1999
IEEE
14 years 1 months ago
1999
IEEE
The evolution of software systems over many years often leads to unnecessarily complex and in exible designs which in turn lead to a huge amount of e ort for enhancements and main...
EUROMICRO
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper addresses the problem of component selection, task assignment and task scheduling for distributed embedded computer systems. Such systems have a large number of constra...
AMAST
2004
Springer
14 years 1 months ago
2004
Springer
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...
IEICET
2006
13 years 9 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...