403 search results - page 31 / 81 » Integrating Z into Large Projects Tools and Techniques |
PERCOM
2006
ACM
15 years 11 months ago
2006
ACM
This paper presents a new interaction technique for browsing large visual information bases in a collaborative environment. The ATELIER project deals with learning environments fo...
105
click to vote
ISCA
2010
IEEE
15 years 4 months ago
2010
IEEE
The performance of future manycore processors will only scale with the number of integrated cores if there is a corresponding increase in memory bandwidth. Projected scaling of el...
BMCBI
2008
14 years 12 months ago
2008
Background: High-throughput methods that allow for measuring the expression of thousands of genes or proteins simultaneously have opened new avenues for studying biochemical proce...
120
click to vote
ICCAD
1997
IEEE
15 years 3 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...
120
click to vote
ICSE
2012
IEEE-ACM
13 years 2 months ago
2012
IEEE-ACM
—This paper describes a new technique, which automatically selects the most appropriate developers for fixing the fault represented by a failing test case, and provides a diagno...