Sciweavers

526 search results - page 63 / 106
» Array language support for parallel sparse computation
Sort
View
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
15 years 10 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
CONSTRAINTS
2010
153views more  CONSTRAINTS 2010»
15 years 3 months ago
Philosophy of the MiniZinc challenge
MiniZinc arose as a response to the extended discussion at CP2006 of the need for a standard modelling language for CP. This is a challenging problem, and we believe MiniZinc makes...
Peter J. Stuckey, Ralph Becket, Julien Fischer
ISSAC
2007
Springer
177views Mathematics» more  ISSAC 2007»
16 years 3 days ago
Component-level parallelization of triangular decompositions
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
Marc Moreno Maza, Yuzhen Xie
EDO
2000
Springer
15 years 9 months ago
Migrating and Specifying Services for Web Integration
With the explosive growth of the Internet, businesses of all sizes aim on applying e-business solutions to their IT infrastructures, migrating their legacy business processes into ...
Ying Zou, Kostas Kontogiannis
ASPLOS
2000
ACM
15 years 10 months ago
Architectural Support for Fast Symmetric-Key Cryptography
The emergence of the Internet as a trusted medium for commerce and communication has made cryptography an essential component of modern information systems. Cryptography provides ...
Jerome Burke, John McDonald, Todd M. Austin