1080 search results - page 39 / 216 » Modeling Constraint Programs with Software Technology Standa... |
ISSE
2010
13 years 6 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
GECCO
2007
Springer
14 years 1 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
INFORMATICALT
2007
13 years 7 months ago
2007
Internationalization of compilers and localization of programming languages is not a usual phenomenon yet; however, due to a rapid progress of software and programming technologies...
ESIAT
2009
IEEE
13 years 5 months ago
2009
IEEE
Remote method invocation is a distributed object model for the Java programming language that making distributed objects easy to implement and tousle. Remote method invocation appl...
EWC
2011
13 years 2 months ago
2011
This paper outlines continuing work on the intelligent design catalogue. The intelligent design catalogue seeks to create a virtual design environment that is linked to a catalogu...