4313 search results - page 60 / 863 » Using time travel to diagnose computer problems |
111
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
This paper describes a two-state methodology for register transfer level (RTL) logic simulation in which the use of the Xstate is completely eliminated inside ASIC designs. Exampl...
131
Voted
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Bandura’s theories of self- and collective efficacy are widely recognized in many fields, including psychology and management, but have been largely unnoticed by the Human-Compu...
118
click to vote
CPAIOR
2009
Springer
15 years 10 months ago
2009
Springer
The interdiction problem arises in a variety of areas including military logistics, infectious disease control, and counter-terrorism. In the typical formulation of network interdi...
119
Voted
FLAIRS
1998
15 years 5 months ago
1998
Computer assisted tomography (CAT) systems demandlarge amounts of time and space. In this paper, wedescribe an approachto solving the CAT problemusing several AItechniques includi...
111
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
The optimization of the epoxy polymerization process involves a number of conflicting objectives and more than twenty decision parameters. In this paper, the problem is treated tr...