8828 search results - page 414 / 1766 » Formal methods in practice |
172
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
Computer science educators are uniquely positioned to promote greater awareness of Green Computing, using the academic setting to encourage environmentally conscious use of techno...
199
Voted
PRIMA
2007
Springer
16 years 1 months ago
2007
Springer
Multiagent Systems are potential computational systems for various practical applications, tools, and so on. Multiagent simulation is one of the remarkable application to evaluate ...
144
click to vote
ICRA
2006
IEEE
16 years 27 days ago
2006
IEEE
— Due to the abundant application background, the optimization of maintenance problem has been extensively studied in the past decades. Besides the well-known difficulty of larg...
173
click to vote
CP
2003
Springer
16 years 3 days ago
2003
Springer
Symmetry in a Constraint Satisfaction Problem can cause wasted search, which can be avoided by adding constraints to the CSP to exclude symmetric assignments or by modifying the s...
144
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
— A new sub-space max-monomial modeling scheme for CMOS transistors in sub-micron technologies is proposed to improve the modeling accuracy. Major electrical parameters of CMOS...