295 search results - page 50 / 59 » SAT, SMT and Applications |
108
click to vote
GLVLSI
2002
IEEE
15 years 6 months ago
2002
IEEE
The paper presents a satisfiability-based method for solving the board-level multiterminal net routing problem in Clos-Folded FPGA based logic emulation systems. The approach tran...
96
Voted
HPCN
2000
Springer
15 years 5 months ago
2000
Springer
We present OKEANOS, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent's beh...
119
click to vote
TVLSI
1998
15 years 1 months ago
1998
— This paper presents a solution to the problem of reducing the power dissipated by a digital system containing an intellectual proprietary core processor which repeatedly execut...
101
click to vote
ICST
2010
IEEE
15 years 11 days ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
131
click to vote
ACL
2012
13 years 4 months ago
2012
Polarity classification of words is important for applications such as Opinion Mining and Sentiment Analysis. A number of sentiment word/sense dictionaries have been manually or ...