6274 search results - page 313 / 1255 » Proofs, Programs, Processes |
202
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Applied digital signal processing courses offered at many universities do not normally include FPGA implementation of signal processing algorithms. This is due to the fact that st...
191
click to vote
PDPTA
2004
15 years 8 months ago
2004
High-throughput real-time systems require non-standard and costly hardware and software solutions. Modern workstation can represent a credible alternative to develop realtime inte...
178
click to vote
APN
2004
Springer
16 years 1 days ago
2004
Springer
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
203
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
296
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...