1205 search results - page 159 / 241 » Program Extraction from Large Proof Developments |
127
Voted
EUROPAR
2009
Springer
15 years 8 months ago
2009
Springer
Porting on grids complex MPI applications involving collective communications requires significant program modification, usually dedicated to a single grid structure. The diffi...
110
click to vote
SBACPAD
2008
IEEE
15 years 7 months ago
2008
IEEE
Due to the advent of multi-core processors and the consequent need for better concurrent programming abstractions, new synchronization paradigms have emerged. A promising one, kno...
POS
1998
Springer
15 years 5 months ago
1998
Springer
Persistent programming languages are targetted primarily at application systems involving complex data structures and relationships, as typi ed by Geographical Information Systems...
110
click to vote
CCGRID
2006
IEEE
15 years 5 months ago
2006
IEEE
Our current research into programming models for parallel web services composition is targeted at providing mechanisms for obtaining higher throughput for large scale compute and ...
110
click to vote
DAS
2006
Springer
15 years 5 months ago
2006
Springer
Engineering diagnosis often involves analyzing complex records of system states printed to large, textual log files. Typically the logs are designed to accommodate the widest debug...