6274 search results - page 935 / 1255 » Proofs, Programs, Processes |
125
click to vote
HPCC
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--This paper examines the initial parallel implementation of SCATTER, a computationally intensive inelastic neutron scattering routine with polycrystalline averaging capabi...
139
click to vote
CCR
2008
15 years 3 months ago
2008
The Workshop on Organizing Workshops, Conferences, and Symposia for Computer Systems (WOWCS) was organized to "bring together conference organizers (past, present, and future...
134
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
120
click to vote
COR
2008
15 years 3 months ago
2008
This paper presents a tabu search metaheuristic algorithm for the automatic generation of structural software tests. It is a novel work since tabu search is applied to the automat...
58
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, deep sub-micron CMOS process compatible high Q on chip spiral inductors with air gap structure were designed and fabricated. In the design the electromagnetic solve...