Sciweavers

1624 search results - page 156 / 325
» Integrating Fault-Tolerant Techniques into the Design of Cri...
Sort
View
ICMS
2010
15 years 5 months ago
The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
There is a growing interest in numeric-algebraic techniques in the computer algebra community as such techniques can speed up many applications. This paper is concerned with one su...
Jihun Yu, Chee Yap, Zilin Du, Sylvain Pion, Herv&e...
ADBIS
2009
Springer
210views Database» more  ADBIS 2009»
15 years 11 months ago
Performance Driven Database Design for Scalable Web Applications
Scaling up web applications requires distribution of load across multiple application servers and across multiple database servers. Distributing load across multiple application se...
Jozsef Patvarczki, Murali Mani, Neil T. Heffernan
DATE
2009
IEEE
113views Hardware» more  DATE 2009»
16 years 1 months ago
System-level process variability analysis and mitigation for 3D MPSoCs
Abstract—While prior research has extensively evaluated the performance advantage of moving from a 2D to a 3D design style, the impact of process parameter variations on 3D desig...
Siddharth Garg, Diana Marculescu
AINA
2007
IEEE
16 years 27 days ago
Sim-PowerCMP: A Detailed Simulator for Energy Consumption Analysis in Future Embedded CMP Architectures
Continuous improvements in integration scale have made major microprocessor vendors to move to designs that integrate several processor cores on the same chip. Chip-multiprocessor...
Antonio Flores, Juan L. Aragón, Manuel E. A...
FDL
2003
IEEE
15 years 11 months ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...