3082 search results - page 528 / 617 » Deviation Analysis: A New Use of Model Checking |
158
click to vote
IVS
2006
15 years 4 months ago
2006
Business operations involve many factors and relationships and are modeled as complex business process workflows. The execution of these business processes generates vast volumes ...
135
click to vote
TCAD
2002
15 years 4 months ago
2002
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
140
click to vote
PVLDB
2010
15 years 2 months ago
2010
Large-scale data analysis lies in the core of modern enterprises and scientific research. With the emergence of cloud computing, the use of an analytical query processing infrast...
155
click to vote
IJSIR
2010
15 years 1 months ago
2010
Bacterial foraging optimization algorithm (BFOA) has been widely accepted as a global optimization algorithm of current interest for distributed optimization and control. BFOA is i...
122
click to vote
ITC
2003
IEEE
15 years 9 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...