3436 search results - page 421 / 688 » Software Tools for Performance Modeling of Parallel Programs |
107
Voted
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
207
click to vote
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
115
click to vote
ERLANG
2008
ACM
15 years 4 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
103
click to vote
CCGRID
2005
IEEE
15 years 8 months ago
2005
IEEE
— The arrival of the P2P model has opened many new avenues for research within the field of distributed computing. This is mainly due to important practical features (such as su...
121
Voted
FPGA
2004
ACM
15 years 6 months ago
2004
ACM
Embedded systems combine a processor with dedicated logic to meet design specifications at a reasonable cost. The attempt to amalgamate two distinct design environments introduces...