Sciweavers

2296 search results - page 9 / 460
» The Expressive Power of Synchronizations
Sort
View
INLG
2010
Springer
14 years 9 months ago
'If you've heard it, you can say it' - Towards an Account of Expressibility
We have begun a project to automatically create the lexico-syntactic resources for a microplanner as a side-effect of running a domain-specific language understanding system. The ...
David McDonald, Charlie Greenbacker
FSTTCS
1998
Springer
15 years 3 months ago
A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
Jean-Pierre Talpin, David Nowak
89
Voted
JCP
2007
111views more  JCP 2007»
14 years 11 months ago
Direct Method for Transient Stability Assessment of a Power System with a SSSC
—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...
Prechanon Kumkratug, Panthep Laohachai
104
Voted
APLAS
2004
ACM
15 years 5 months ago
Concurrency Combinators for Declarative Synchronization
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
Pawel T. Wojciechowski
93
Voted
SIGCSE
2004
ACM
628views Education» more  SIGCSE 2004»
15 years 4 months ago
Design patterns for semaphores
This paper describes two design patterns that are powerful tools to help teach how semaphores are used to solve synchronization problems. The patterns are general enough to be use...
Kenneth A. Reek