4004 search results - page 661 / 801 » Selecting an Approach to Designing Group Support Systems |
126
click to vote
GD
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a new application for graph drawing in the context of graphical model-based system design, where manual placing of graphical items is still state-of-the-practi...
116
click to vote
FMCAD
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
178
click to vote
PODC
1995
ACM
15 years 8 months ago
1995
ACM
Asynchronous Transfer Mode (ATM) network technology is expected to become a central part of the emerging global information infrastructure. ATM networks introduce a number of feat...
143
click to vote
WSC
2007
15 years 6 months ago
2007
High performance data grids are increasingly becoming popular platforms to support data-intensive applications. Reducing high energy consumption caused by data grids is a challeng...
164
click to vote
CSREAPSC
2006
15 years 5 months ago
2006
- Real-time speaker verification, with speech acquired using the NIST Mk-III microphone array and an autodirective beamforming algorithm, is demonstrated. The software and hardware...