1615 search results - page 186 / 323 » Distributed Forward Checking |
159
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
144
click to vote
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
175
Voted
PASTE
2005
ACM
15 years 10 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
188
Voted
ECMDAFA
2005
Springer
15 years 10 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
158
Voted
IFIP
2004
Springer
15 years 10 months ago
2004
Springer
Providing Quality-of-Service (QoS) guarantees and mobility support for Internet devices has become a hot research topic in the Next Generation Internet research, since mobile compu...