Sciweavers

3038 search results - page 63 / 608
» Industrial evolutionary computing
Sort
View
DAC
1998
ACM
15 years 11 months ago
Combining Theorem Proving and Trajectory Evaluation in an Industrial Environment
We describe the verification of the IM: a large, complex (12,000 gates and 1100 latches) circuit that detects and marks the boundaries between Intel architecture (IA-32) instructi...
Mark Aagaard, Robert B. Jones, Carl-Johan H. Seger
VLSID
2002
IEEE
152views VLSI» more  VLSID 2002»
15 years 10 months ago
Verification of an Industrial CC-NUMA Server
Directed test program-based verification or formal verification methods are usually quite ineffective on large cachecoherent, non-uniform memory access (CC-NUMA) multiprocessors b...
Rajarshi Mukherjee, Yozo Nakayama, Toshiya Mima
ICCD
1997
IEEE
254views Hardware» more  ICCD 1997»
15 years 2 months ago
Intelligent RAM (IRAM): The Industrial Setting, Applications and Architectures
The goal of Intelligent RAM (IRAM) is to design a cost-effective computer by designing a processor in a memory fabrication process, instead of in a conventional logic fabrication ...
David A. Patterson, Krste Asanovic, Aaron B. Brown...
ECIS
2004
14 years 11 months ago
Failures of reward-driven behaviour in industry: a case of systems, management and creativity
Creativity is a much needed quality in today's business and therefore an important research area. Whilst implementing and evaluating computer support for electronic brainstor...
Dick Stenmark
TIM
2011
134views more  TIM 2011»
14 years 4 months ago
A New Sensory System for Modeling and Tracking Humans Within Industrial Work Cells
—This paper introduces a new sensory system for the 2-D detection, tracking, and prediction of human motions. Using the data acquired through the sensory system, a model of a hum...
Nima Najmaei, Mehrdad R. Kermani, M. A. Al-Lawati