7820 search results - page 268 / 1564 » Formalization of Time and Space |
188
click to vote
MOC
2011
15 years 2 months ago
2011
In this paper we study multivariate integration for a weighted Korobov space for which the Fourier coefficients of the functions decay exponentially fast. This implies that the fu...
183
click to vote
ICCAD
2001
IEEE
16 years 4 months ago
2001
IEEE
We present a methodology for generating black-box timing models for full-custom transistor-level CMOS circuits. Our approach utilizes transistor-level ternary symbolic timing simu...
238
click to vote
EUROPAR
2003
Springer
16 years 15 days ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
191
click to vote
ASPDAC
2009
ACM
16 years 1 months ago
2009
ACM
Abstract— In the context of a design space exploration framework for supporting the platform-based design approach, we address the problem of robustness with respect to manufactu...
167
click to vote
ICRA
2005
IEEE
16 years 26 days ago
2005
IEEE
– Future space missions are expected to use robotic systems to assemble, inspect, and maintain large space structures in orbit. To carry out these tasks, robots need to know the ...