Sciweavers

5085 search results - page 415 / 1017
» Multidimensional Design by Examples
Sort
View
231
Voted
DAC
2005
ACM
15 years 9 months ago
Power grid simulation via efficient sampling-based sensitivity analysis and hierarchical symbolic relaxation
On-chip supply networks are playing an increasingly important role for modern nanometer-scale designs. However, the ever growing sizes of power grids make the analysis problem ext...
Peng Li
174
Voted
FPL
2008
Springer
119views Hardware» more  FPL 2008»
15 years 9 months ago
An FPGA-based high-speed, low-latency trigger processor for high-energy physics
An example of an FPGA based application for a high-energy physics experiment is presented which features all facets of modern FPGA design. The special requirements here are high b...
Jan de Cuveland, Felix Rettig, Venelin Angelov, Vo...
258
Voted
FMOODS
2007
15 years 9 months ago
A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems
We present a novel approach, based on probabilistic formal methods, to developing cross-layer resource optimization policies for resource limited distributed systems. One objective...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
201
Voted
RSS
2007
125views Robotics» more  RSS 2007»
15 years 9 months ago
Synthesis of Constrained nR Planar Robots to Reach Five Task Positions
— In this paper, we design planar nR serial chains that provide one degree-of-freedom movement for an end-effector through five arbitrarily specified task positions. These chai...
Gim Song Soh, J. Michael McCarthy
212
Voted
DAGSTUHL
2004
15 years 9 months ago
UML 2.0 Testing Profile
Testing often accounts for more than 50% of the required effort during system development. However, testing is often not well integrated with other development phases. One reason ...
Zhen Ru Dai