9110 search results - page 1615 / 1822 » Formally-Based Design Evaluation |
135
click to vote
ARVLSI
2001
IEEE
15 years 7 months ago
2001
IEEE
Control of adaptive optical elements for real-time wavefront phase distortion compensation is a rapidly growing field of research and technology development. Wavefront correction ...
162
click to vote
MATA
2000
Springer
15 years 7 months ago
2000
Springer
Extensive research on mobile agents has been rife with the growing interests in network computing. In this paper, we have discussed a mobile multi-agent-based framework to address ...
164
click to vote
ICCAD
1997
IEEE
15 years 7 months ago
1997
IEEE
The relentless push for high performance in custom digital circuits has led to renewed emphasis on circuit optimization or tuning. The parameters of the optimization are typically...
165
click to vote
ISCA
1995
IEEE
15 years 7 months ago
1995
IEEE
For many programs, especially integer codes, untolerated load instruction latencies account for a significant portion of total execution time. In this paper, we present the desig...
153
click to vote
GROUP
2009
ACM
15 years 7 months ago
2009
ACM
Collaborative brainstorming can be a challenging but important part of creative group problem solving. Mind-mapping has the potential to enhance the brainstorming process but has ...