518 search results - page 78 / 104 » Accelerated Data-Flow Analysis |
BPM
2009
Springer
15 years 4 months ago
2009
Springer
We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and o...
COLT
2007
Springer
15 years 4 months ago
2007
Springer
This paper analyzes the potential advantages and theoretical challenges of “active learning” algorithms. Active learning involves sequential sampling procedures that use infor...
119
click to vote
IMR
2004
Springer
15 years 3 months ago
2004
Springer
Virtual prototyping and numerical simulations are increasingly replacing real mock-ups and experiments in industrial product development. Many of these simulations, e.g. for the p...
ITC
2003
IEEE
15 years 3 months ago
2003
IEEE
Failure analysis (FA) and diagnosis of memory cores plays a key role in system-on-chip (SOC) product development and yield ramp-up. Conventional FA based on bitmaps and the experi...
ASPLOS
2008
ACM
14 years 12 months ago
2008
ACM
Speck1 is a system that accelerates powerful security checks on commodity hardware by executing them in parallel on multiple cores. Speck provides an infrastructure that allows se...