7393 search results - page 968 / 1479 » Synthesis-for-testability using transformations |
154
click to vote
JUCS
2010
2010
Leveraging ICT Deployment and Integration in a Public Organization Aged 176 Years A Greek Case Study
15 years 4 months ago
: The successful deployment and exploitation of an Information and Communications Technologies (ICT) project in a traditional Public Organization involves the proper design and imp...
178
click to vote
PPSN
2010
Springer
15 years 4 months ago
2010
Springer
Solutions calculated by Evolutionary Algorithms have come to surpass exact methods for solving various problems. The Rubik’s Cube multiobjective optimization problem is one such ...
147
click to vote
PR
2010
15 years 4 months ago
2010
This paper presents a classification approach, where a sample is represented by a set of feature vectors called an attributed point pattern. Some attributes of a point are transf...
238
click to vote
SAS
2010
Springer
15 years 4 months ago
2010
Springer
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
190
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
To prove termination of Java Bytecode (JBC) automatically, we transform JBC to finite termination graphs which represent all possible runs of the program. Afterwards, the graph can...