909 search results - page 118 / 182 » Temporal Logic Case Study |
HICSS
2009
IEEE
14 years 4 months ago
2009
IEEE
The increased fluidity and agility of organizations demand the smooth mediation of information technology (IT) between user and task. As rigid hierarchies are giving way to open, ...
DATE
2010
IEEE
14 years 2 months ago
2010
IEEE
—With every process generation, the problem of variability in physical parameters and environmental conditions poses a great challenge to the design of fast and reliable circuits...
FMCAD
2007
Springer
14 years 3 months ago
2007
Springer
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
SEKE
2007
Springer
14 years 3 months ago
2007
Springer
High performance computing (HPC) is gaining popularity in solving scientific applications. Using the current programming standards, however, it takes an HPC expert to efficiently ...
IWPC
2006
IEEE
14 years 3 months ago
2006
IEEE
For many enterprises, reacting to fast changes to their business process is key to maintaining their competitive edge in the market. However, developers often must manually locate...