Sciweavers

4722 search results - page 99 / 945
» Encoding Program Executions
Sort
View
FORTE
2011
14 years 5 months ago
A Framework for Verifying Data-Centric Protocols
Abstract. Data centric languages, such as recursive rule based languages, have been proposed to program distributed applications over networks. They simplify greatly the code, whic...
Yuxin Deng, Stéphane Grumbach, Jean-Fran&cc...
ISVLSI
2005
IEEE
157views VLSI» more  ISVLSI 2005»
15 years 7 months ago
Configurable Multiprocessors for High-Performance MPEG-4 Video Coding
We investigate the performance improvement of a multithreaded MPEG-4 video encoder executing on a configurable, extensible, SoC multiprocessor. Architecture-level results indicate...
Vassilios A. Chouliaras, Tom R. Jacobs, Ashwin K. ...
HOTOS
2007
IEEE
15 years 6 months ago
Relaxed Determinism: Making Redundant Execution on Multiprocessors Practical
Given that the majority of future processors will contain an abundance of execution cores, redundant execution can offer a promising method for increasing the availability and res...
Jesse Pool, Ian Sin Kwok Wong, David Lie
EVOW
2010
Springer
15 years 6 months ago
Evolving Dynamic Trade Execution Strategies Using Grammatical Evolution
Abstract. Although there is a plentiful literature on the use of evolutionary methodologies for the trading of financial assets, little attention has been paid to potential use of...
Wei Cui, Anthony Brabazon, Michael O'Neill
ECEASST
2008
77views more  ECEASST 2008»
15 years 2 months ago
Using OCL in Executable UML
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...
Ke Jiang, Lei Zhang, Shigeru Miyake