4513 search results - page 664 / 903 » Logic programming with satisfiability |
136
click to vote
DFT
2005
IEEE
15 years 9 months ago
2005
IEEE
Data flow graph dominant designs, such as communication video and audio applications, are common in today’s IC industry. In these designs, the datapath resources (e.g., adders,...
139
click to vote
CD
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper presents a middleware platform we designed in order to allow the deployment of component-based software applications on mobile devices (such as laptops or pers...
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
The purpose of this project is to develop a program that solves a bi-objective diet problem to propose the user a “healthy” daily meal according to some parameters specified b...
142
Voted
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
126
Voted
WMCSA
2002
IEEE
15 years 8 months ago
2002
IEEE
Applications running on a mobile and wireless devices must be able to adapt gracefully to limited and fluctuating network resources. The variety of applications, platforms upon w...