8719 search results - page 175 / 1744 » A Categorical Approach to Simulations |
107
click to vote
ACISICIS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper addresses the problem of finding a feasible solution for the University Course Timetabling Problem (UCTP), i.e. a solution that satisfies all the so-called hard const...
128
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
The ever increasing complexity and heterogeneity of modern System-on-Chip (SoC) architectures make an early and systematic exploration of alternative solutions mandatory. Efficien...
102
click to vote
ICRA
2002
IEEE
15 years 6 months ago
2002
IEEE
Abstract—A methodology for estimating the force distribution that occurs along a needle shaft during insertion is described. To validate the approach, an experimental system for ...
VTS
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper describes an approach to design error diagnosis and correction in combinational digital circuits. Our approach targets small errors introduced during the design process...
ARC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. This paper presents a methodology for the design of a reconfigurable computing system applied to a complex problem in molecular Biology: the protein folding problem. An e...