Sciweavers

576 search results - page 64 / 116
» Synchronization of Some DFA
Sort
View
EUROPAR
2010
Springer
13 years 9 months ago
Maestro: Data Orchestration and Tuning for OpenCL Devices
Abstract. As heterogeneous computing platforms become more prevalent, the programmer must account for complex memory hierarchies in addition to the difficulties of parallel program...
Kyle Spafford, Jeremy S. Meredith, Jeffrey S. Vett...
ATVA
2010
Springer
114views Hardware» more  ATVA 2010»
13 years 9 months ago
Methods for Knowledge Based Controlling of Distributed Systems
Abstract. Controlling concurrent systems to impose some global invariant is an undecidable problem. One can gain decidability at the expense of reducing concurrency. Even under thi...
Saddek Bensalem, Marius Bozga, Susanne Graf, Doron...
FDL
2008
IEEE
13 years 9 months ago
MARTE-based Design of a Multimedia Application and Formal Analysis
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc...
BC
2006
60views more  BC 2006»
13 years 8 months ago
Transient Synchrony of Distant Brain Areas and Perceptual Switching in Ambiguous Figures
We studied the relationship between perceptual switching in the Necker cube and long-distance transient phase synchronization in EEG. Transient periods of response related synchron...
Hironori Nakatani, Cees van Leeuwen
FUIN
2008
72views more  FUIN 2008»
13 years 8 months ago
Working with the Past: Integrating History in Petri Nets
Abstract. Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails...
Kees M. van Hee, Alexander Serebrenik, Natalia Sid...