22698 search results - page 4289 / 4540 » Modeling in Software Engineering |
126
click to vote
ECAI
2000
Springer
15 years 8 months ago
2000
Springer
This paper proposes new algorithms for the Binate Covering Problem (BCP), a well-known restriction of Boolean Optimization. Binate Covering finds application in many areas of Com...
141
click to vote
ARVLSI
1999
IEEE
15 years 8 months ago
1999
IEEE
The ability of animals to select a limited region of sensory space for scrutiny is an important factor in dealing with cluttered or complex sensory environments. Such an attention...
161
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...
159
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Some classes of real-time systems function in environments which cannot be modeled with static approaches. In such environments, the arrival rates of events which drive transient ...
105
click to vote
EPIA
1999
Springer
15 years 8 months ago
1999
Springer
YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first imp...