8446 search results - page 376 / 1690 » A Process Compensation Language |
242
click to vote
CASCON
2010
15 years 1 months ago
2010
ion and giving them a medium to express and implement change. One of the keys to achieve agility for creating business processes depends on close interaction between IT department ...
181
click to vote
SEFM
2006
IEEE
16 years 25 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
187
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...
272
click to vote
TOG
2012
13 years 9 months ago
2012
Using existing programming tools, writing high-performance image processing code requires sacrificing readability, portability, and modularity. We argue that this is a consequenc...
168
click to vote
ISM
2008
IEEE
16 years 1 months ago
2008
IEEE
Reducing spatial redundancies between different camera views is one of the major challenges in multiview video coding (MVC). However, with drastic increase in time consumption of ...