632 search results - page 116 / 127 » Performance Engineering for Industrial Embedded Data-Process... |
97
Voted
VSTTE
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
106
click to vote
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
Air traffic management offers an intriguing real world challenge to designing large scale distributed systems using evolutionary computation. The ability to evolve effective air t...
100
Voted
JMLR
2011
14 years 7 months ago
2011
Reports of experiments conducted with an Inductive Logic Programming system rarely describe how specific values of parameters of the system are arrived at when constructing model...
111
click to vote
IPPS
1997
IEEE
15 years 4 months ago
1997
IEEE
Tools for parallel systems today range from specification over debugging to performance analysis and more. Typically, they help the programmers of parallel algorithms from the ea...
85
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
Placement is one of the most important steps in the RTLto-GDSII synthesis process, as it directly defines the interconnects, which have become the bottleneck in circuit and syste...