4604 search results - page 168 / 921 » Concurrency in Synchronous Systems |
133
click to vote
JCP
2007
15 years 4 months ago
2007
—This paper proposes the energy function of a power system with a Static Synchronous Series Compensator (SSSC). They make it possible for the direct method to acquire the transie...
152
click to vote
VLDB
1991
ACM
15 years 7 months ago
1991
ACM
Due to its potential for a high degree of parallelism, optimistic concurrency control is expected to perform better than two-phase locking when integrated with priority-driven CPU...
145
click to vote
ENTCS
2008
15 years 4 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
128
click to vote
ICWE
2003
Springer
15 years 9 months ago
2003
Springer
Scientific community is showing a growing interest in Collaborative Systems, although most of developed systems deal with specific applications. This, together with the effort that...
130
click to vote
CASES
2001
ACM
15 years 7 months ago
2001
ACM
Synchronous programming languages have proved to be advantageous for designing software and hardware for embedded systems. Despite their clear semantics, their compilation is rema...