Sciweavers

17129 search results - page 467 / 3426
» Applied Computing
Sort
View
SC
1995
ACM
15 years 10 months ago
Lattice QCD on the IBM Scalable POWERParallel Systems SP2
Claude Bernard, Carleton DeTar, Steven Gottlieb, U...
BIRTHDAY
2008
Springer
15 years 8 months ago
On Partially Wellfounded Generic Ultrapowers
We construct a model without precipitous ideals but so that for each < 3 there is a normal ideal over 1 with generic ultrapower wellfounded up to the image of .
Moti Gitik, Menachem Magidor
BIRTHDAY
2008
Springer
15 years 8 months ago
Specifying and Analysing SOC Applications with COWS
Abstract. COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
Alessandro Lapadula, Rosario Pugliese, Francesco T...
CF
2005
ACM
15 years 8 months ago
Dynamic run-time architecture techniques for enabling continuous optimization
Tipp Moseley, Alex Shye, Vijay Janapa Reddi, Matth...
CMSB
2008
Springer
15 years 8 months ago
Integrated Analysis from Abstract Stochastic Process Algebra Models
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
Jane Hillston, Federica Ciocchetta, Adam Duguid, S...