6607 search results - page 887 / 1322 » Making TeX Work |
201
Voted
ICWE
2003
Springer
16 years 2 days ago
2003
Springer
This work presents a research on the methods and mechanisms necessary to bring the Information and Communication Technologies in the traditional classroom. This will be achieved by...
189
Voted
HYBRID
2010
Springer
15 years 12 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
180
Voted
ISCA
2010
IEEE
15 years 12 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...
160
Voted
ISCA
2010
IEEE
15 years 12 months ago
2010
IEEE
Fault tolerance is now a primary design constraint for all major microprocessors. One step in determining a processor’s compliance to its failure rate target is measuring the Ar...
198
Voted
CLOUD
2010
ACM
15 years 12 months ago
2010
ACM
Failures of any type are common in current datacenters, partly due to the higher scales of the data stored. As data scales up, its availability becomes more complex, while differe...